101 search results - page 12 / 21 » Encrypted Message Authentication by Firewalls |
IFIP
2004
Springer
14 years 2 days ago
2004
Springer
Cryptographic protocols often make use of nested cryptographic primitives, for example signed message digests, or encrypted signed messages. Gordon and Jeffrey’s prior work on ty...
IPPS
2005
IEEE
14 years 9 days ago
2005
IEEE
The InfiniBandTM Architecture (IBA) is a new promising I/O communication standard positioned for building clusters and System Area Networks (SANs). However, the IBA specification ...
CISC
2005
Springer
14 years 7 days ago
2005
Springer
Abstract. Despite many good (secure) key agreement protocols based on publickey cryptography exist, secure associations between two wireless devices are often established using sym...
MDAI
2005
Springer
14 years 6 days ago
2005
Springer
Cryptography is the ancient science of encrypting messages so that only the sender and receiver can recover them. To achieve this goal, an agreed key between the sender and receive...
CSFW
2007
IEEE
14 years 1 months ago
2007
IEEE
We present a new mechanized prover for showing correspondence assertions for cryptographic protocols in the computational model. Correspondence assertions are useful in particular...