1777 search results - page 47 / 356 » Programming Cryptographic Protocols |
105
click to vote
SP
2007
IEEE
15 years 7 months ago
2007
IEEE
Information-flow security policies are an appealing way of specifying confidentiality and integrity policies in information systems. Most previous work on language-based securit...
132
click to vote
PKC
1999
Springer
15 years 5 months ago
1999
Springer
With the development of high speed computer networks, video service on the Web has huge market potential in that the video service can be provided to subscribers with greater time ...
119
click to vote
TCC
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. We present a general method to prove security properties of cryptographic protocols against active adversaries, when the messages exchanged by the honest parties are arbi...
108
click to vote
CORR
2007
Springer
15 years 1 months ago
2007
Springer
There are several public key establishment protocols as well as complete public key cryptosystems based on allegedly hard problems from combinatorial (semi)group theory known by no...