1777 search results - page 149 / 356 » Programming Cryptographic Protocols |
ESORICS
2000
Springer
15 years 4 months ago
2000
Springer
The IP security protocols (IPsec) may be used via security gateways that apply cryptographic operations to provide security services to datagrams, and this mode of use is supported...
100
click to vote
EUROCRYPT
1995
Springer
15 years 4 months ago
1995
Springer
Abstract. We introduce Verifiable Signature Sharing (VCS), a cryptographic primitive for protecting digital signatures. VCS enables the holder of a digitally signed document, who m...
DRMTICS
2005
Springer
15 years 3 months ago
2005
Springer
A digital movie can be created jointly under the cooperation of many creators. It is then necessary to provide protection to the creatorship of each participating creator. In this ...
148
click to vote
I3E
2001
15 years 2 months ago
2001
: Designing security-critical systems correctly is very difficult. We present work on software engineering of security critical systems, supported by the CASE tool AUTOFOCUS. Secur...
140
click to vote
ASIAN
2009
Springer
15 years 2 months ago
2009
Springer
In their work on tractable deduction systems, D. McAllester and later D. Basin and H. Ganzinger have identified a property of inference systems (the locality property) that ensures...