1116 search results - page 62 / 224 » Key Agreement Using Statically Keyed Authenticators |
123
click to vote
WISTP
2010
Springer
15 years 12 hour ago
2010
Springer
Abstract. The use of RFID technology in complex and distributed environments often leads to a multi-domain RFID system in which security issues such as authentication of tags and r...
149
Voted
CTRSA
2010
Springer
15 years 9 months ago
2010
Springer
Abstract. The TLS and SSL protocols are widely used to ensure secure communication over an untrusted network. Therein, a client and server first engage in the so-called handshake ...
KBSE
2008
IEEE
15 years 8 months ago
2008
IEEE
Many approaches to software verification are currently semi-automatic: a human must provide key logical insights — e.g., loop invariants, class invariants, and frame axioms tha...
143
Voted
INFORMATICALT
2007
15 years 2 months ago
2007
A modified version of the Bellare and Rogaway (1993) adversarial model is encoded using Asynchronous Product Automata (APA). A model checker tool, Simple Homomorphism Verificatio...
104
click to vote
SISW
2003
IEEE
15 years 7 months ago
2003
IEEE
Network-attached object-based storage separates data-path from control-path and enables direct interaction between clients and the storage devices. Clients interact with the file...