4111 search results - page 175 / 823 » Security, Protocols, and Trust |
AGENTS
2000
Springer
14 years 2 months ago
2000
Springer
This paper extends earlier work in the use of ‘Agent-based Computational Economics’ (ACE) for modelling the development of co-operation between firms. Inter-firm relations hav...
CCS
2008
ACM
14 years 5 days ago
2008
ACM
In RFID protocols, tags identify and authenticate themselves to readers. At Asiacrypt 2007, Vaudenay studied security and privacy models for these protocols. We extend this model ...
ICITA
2005
IEEE
14 years 4 months ago
2005
IEEE
Security protocols are indispensable in secure communication. We give an operational semantics of security protocols in terms of a Prolog-like language. With this semantics, we ca...
CTRSA
2011
Springer
13 years 1 months ago
2011
Springer
Abstract. Many real-world protocols, such as SSL/TLS, SSH, IPsec, IEEE 802.11i, DNSSEC, and Kerberos, derive new keys from other keys. To be able to analyze such protocols in a com...
FSEN
2007
Springer
14 years 4 months ago
2007
Springer
Abstract. In this paper we offer a novel methodology for verifying correctness of (timed) security protocols. The idea consists in computing the time of a correct execution of a s...