62 search results - page 3 / 13 » Security Protocols: Principles and Calculi |
CCS
2004
ACM
14 years 26 days ago
2004
ACM
We propose a type and effect system for authentication protocols built upon a tagging scheme that formalizes the intended semantics of ciphertexts. The main result is that the val...
ESORICS
2007
Springer
14 years 1 months ago
2007
Springer
Although there exist informal design guidelines and formal development support, security protocol development is time-consuming because design is error-prone. In this paper, we int...
CCS
2006
ACM
13 years 11 months ago
2006
ACM
In this paper, we present a way to think about the relative strength of security protocols using SoS, a lattice-theoretic representation of security strength. In particular, we di...
CONEXT
2008
ACM
13 years 9 months ago
2008
ACM
This position paper outlines a new network architecture that is based on the fundamental principle that networking is interprocess communication (IPC). In this model, application ...
CONCUR
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. When dealing with process calculi and automata which express both nondeterministic and probabilistic behavior, it is customary to introduce the notion of scheduler to res...