119 search results - page 2 / 24 » Finite models for formal security proofs |
JOC
2007
13 years 5 months ago
2007
Signcryption is a public key or asymmetric cryptographic method that provides simultaneously both message confidentiality and unforgeability at a lower computational and communica...
CAV
2009
Springer
14 years 5 months ago
2009
Springer
CSFW
1999
IEEE
13 years 9 months ago
1999
IEEE
The combination of two security protocols, a simple shared-key communication protocol and the Di e-Hellman key distribution protocol, is modeled formally and proved correct. The m...
DSRT
2008
IEEE
13 years 11 months ago
2008
IEEE
Security and reliability are of paramount importance in designing and building real-time systems because any security failure can put the public and the environment at risk. In th...
FAC
2008
13 years 5 months ago
2008
This paper describes how the communication protocol of Mondex electronic purses can be specified and verified against desired security properties. The specification is developed by...