9 search results - page 1 / 2 » Casper: A Compiler for the Analysis of Security Protocols |
CSFW
1997
IEEE
13 years 9 months ago
1997
IEEE
ACSW
2006
13 years 6 months ago
2006
To provide card holder authentication while they are conducting an electronic transaction using mobile devices, VISA and MasterCard independently proposed two electronic payment p...
IPL
2010
13 years 3 months ago
2010
Protocol narrations are widely used in security as semi-formal notations to specify conversations between roles. We define a translation from a protocol narration to the sequence...
WWW
2007
ACM
14 years 6 months ago
2007
ACM
Cryptographic protocols are useful for trust engineering in Web transactions. The Cryptographic Protocol Programming Language (CPPL) provides a model wherein trust management anno...
CCS
2011
ACM
12 years 5 months ago
2011
ACM
On the one hand, compilers for secure computation protocols, such as FairPlay or FairPlayMP, have significantly simplified the development of such protocols. On the other hand, ...