216 search results - page 9 / 44 » Formal Proofs for the Security of Signcryption |
EUROCRYPT
1998
Springer
13 years 11 months ago
1998
Springer
Remotely keyed encryption schemes (RKESs), introduced by Blaze 6], support high-bandwidth cryptographic applications (such as encrypted video conferences) in which long-lived secre...
IJSN
2007
13 years 7 months ago
2007
: McCullagh and Barreto presented an identity-based authenticated key agreement protocol in CT-RSA 2005. Their protocol was found to be vulnerable to a key-compromise impersonation...
LOPSTR
2001
Springer
14 years 6 hour ago
2001
Springer
In this paper we define a sequent calculus to formally specify, simulate, debug and verify security protocols. In our sequents we distinguish between the current knowledge of prin...
SCN
2010
Springer
13 years 6 months ago
2010
Springer
In this work, we consider Authentication and Key Agreement (AKA), a popular client-server Key Exchange (KE) protocol, commonly used in wireless standards (e.g., UMTS), and widely c...
CSFW
2010
IEEE
13 years 11 months ago
2010
IEEE
We embed an operational semantics for security protocols in the interactive theorem prover Isabelle/HOL and derive two strong protocol-independent invariants. These invariants allo...