154 search results - page 12 / 31 » A Formal Semantics for Protocol Narrations |
100
click to vote
CCS
2004
ACM
15 years 7 months 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...
144
click to vote
SEFM
2008
IEEE
15 years 8 months ago
2008
IEEE
We present a process algebra for modeling and reasoning about Mobile Ad hoc Networks (MANETs) and their protocols. In our algebra we model the essential modeling concepts of ad ho...
130
click to vote
LICS
1999
IEEE
15 years 6 months ago
1999
IEEE
Security protocols use cryptography to set up private communication channels on an insecure network. Many protocols contain flaws, and because security goals are seldom specified ...
119
click to vote
FORTE
2010
15 years 3 months ago
2010
Abstract. The complexity of distributed algorithms, such as state machine replication, motivates the use of formal methods to assist correctness verification. The design of the for...
115
click to vote
FMSD
2006
15 years 1 months ago
2006
The design productivity gap has been recognized by the semiconductor industry as one of the major threats to the continued growth of system-on-chips and embedded systems. Ad-hoc sy...