29 search results - page 3 / 6 » Typed Multiset Rewriting Specifications of Security Protocol... |
116
Voted
COMPSEC
2010
15 years 14 days ago
2010
Spi Calculus is an untyped high level modeling language for security protocols, used for formal protocols specification and verification. In this paper, a type system for the Spi ...
141
Voted
ISSE
2010
14 years 10 months ago
2010
In this work, we address the formalisation of symmetric nets, a subclass of coloured Petri nets, refinement in COQ. We first provide a formalisation of the net models, and of thei...
238
Voted
ICFP
2009
ACM
16 years 4 months ago
2009
ACM
A number of important program rewriting scenarios can be recast as type-directed coercion insertion. These range from more theoretical applications such as coercive subtyping and ...
161
Voted
CCS
2005
ACM
15 years 9 months ago
2005
ACM
The NRL Protocol Analyzer (NPA) is a tool for the formal specification and analysis of cryptographic protocols that has been used with great effect on a number of complex real-l...
114
Voted
CADE
2008
Springer
16 years 4 months ago
2008
Springer
Security protocols are small programs designed to ensure properties such as secrecy of messages or authentication of parties in a hostile environment. In this paper we investigate ...