84 search results - page 6 / 17 » Verifying Security Protocols: An ASM Approach |
150
click to vote
ICALP
2010
Springer
15 years 7 months ago
2010
Springer
d Abstract) Benny Applebaum1 , Yuval Ishai2 , and Eyal Kushilevitz3 1 Computer Science Department, Weizmann Institute of Science 2 Computer Science Department, Technion and UCLA 3 ...
174
click to vote
CSFW
2009
IEEE
15 years 9 months ago
2009
IEEE
We present the design and implementation of a compiler that, given high-level multiparty session descriptions, generates custom cryptographic protocols. Our sessions specify pre-a...
211
click to vote
SCN
2011
Springer
15 years 4 days ago
2011
Springer
Model checking cryptographic protocols have evolved to a valuable method for discovering counterintuitive security flaws, which make possible for a hostile agent to subvert the go...
114
click to vote
ICDCSW
2007
IEEE
15 years 11 months ago
2007
IEEE
Recent secure code-update protocols for sensor networks have been based on asymmetric-crypto primitives such as digital signatures. Our approach, Castor, explores the feasibility ...
180
click to vote
ICC
2007
IEEE
15 years 9 months ago
2007
IEEE
Overlay networks have shown tremendous potential in solving large scale data dissemination problem by employing peer-to-peer communication protocols. These networks, however, have ...