2303 search results - page 14 / 461 » The Cryptographic Abstract Machine |
SEQLEARN
2001
Springer
13 years 12 months ago
2001
Springer
eed for a Neural Abstract Machine Diego Sona, Alessandro Sperduti Dipartimento di Informatica Universit`a di Pisa
COORDINATION
2005
Springer
14 years 28 days ago
2005
Springer
t Abstract Machine for Safe Ambients Daniel Hirschkoff1 , Damien Pous1 , and Davide Sangiorgi2 1 ENS Lyon, France 2 Universit`a di Bologna, Italy Abstract. We describe an abstract...
TACAS
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. We describe a method for enumerating all essentially different executions possible for a cryptographic protocol. We call them the shapes of the protocol. Naturally occur...
TGC
2005
Springer
14 years 26 days ago
2005
Springer
Cryptographic protocols are useful for trust engineering in distributed transactions. Transactions require specific degrees of confidentiality and agreement between the principal...
DLT
2006
13 years 8 months ago
2006
ract State Machines Be Useful in Language Theory? Yuri Gurevich a Margus Veanes a Charles Wallace b aMicrosoft Research, Redmond, Washington, USA bMichigan Tech, Houghton, Michigan...