1777 search results - page 53 / 356 » Programming Cryptographic Protocols |
140
Voted
CCS
2010
ACM
15 years 7 days ago
2010
ACM
We propose a development method for security protocols based on stepwise refinement. Our refinement strategy guides sformation of abstract security goals into protocols that are s...
133
Voted
COMSUR
2011
14 years 2 months ago
2011
Abstract—Exchanging cryptographic keys to encrypt the media stream in the Session Initiation Protocol (SIP) has proven difficult. The challenge is to effectively exchange keys w...
248
Voted
POPL
2001
ACM
16 years 2 months ago
2001
ACM
We study the interaction of the "new" construct with a rich but common form of (first-order) communication. This interaction is crucial in security protocols, which are ...
106
Voted
CONCUR
2008
Springer
15 years 4 months ago
2008
Springer
Abstract. For many cryptographic protocols, security relies on the assumption that adversarial entities have limited computational power. This type of security degrades progressive...
IFIP
1998
Springer
15 years 6 months ago
1998
Springer