894 search results - page 1 / 179 » Secure Implementation of Channel Abstractions |
POPL
2007
ACM
14 years 11 months ago
2007
ACM
IANDC
2002
13 years 11 months ago
2002
CSFW
2007
IEEE
14 years 5 months ago
2007
IEEE
mplementations for Typed Session Abstractions Ricardo Corin1,2,3 Pierre-Malo Deni´elou1,2 C´edric Fournet1,2 Karthikeyan Bhargavan1,2 James Leifer1 1 MSR-INRIA Joint Centre 2 Mic...
CARDIS
2008
Springer
14 years 1 months ago
2008
Springer
Abstract. In this paper we describe the first implementation on smartcard of the code-based authentication protocol proposed by Stern at Crypto'93 and we give a securization o...
IFIP
2009
Springer
14 years 5 months ago
2009
Springer
We adapt the Strand Spaces model to reason abstractly about layered security protocols, where an Application Layer protocol ed on top of a secure transport protocol. The model abst...