1490 search results - page 166 / 298 » The Logic of Authentication Protocols |
100
Voted
CCS
2009
ACM
16 years 1 months ago
2009
ACM
Distributed proof construction protocols have been shown to be valuable for reasoning about authorization decisions in open distributed environments such as pervasive computing sp...
122
Voted
PERCOM
2005
ACM
16 years 6 days ago
2005
ACM
Numerous schemes have been proposed for secure routing protocols, and Intrusion Detection and Response Systems, for ad hoc networks. In this paper, we present a proof-of-concept i...
84
Voted
FSTTCS
2009
Springer
15 years 7 months ago
2009
Springer
We present a symbolic framework for refinement and composition of security protocols. ework uses the notion of ideal functionalities. These are abstract systems which are secure b...
118
Voted
FDL
2004
IEEE
15 years 4 months ago
2004
IEEE
In this work we develop a secure communication protocol in the context of a Remote Meter Reading (RMR) System. We first analyze existing standards in secure communication (e.g. IP...
106
Voted
ARGMAS
2008
Springer
15 years 2 months ago
2008
Springer
Verification that agent communication protocols have desirable properties or do not have undesirable properties is an important issue in agent systems where agents intend to commu...