2272 search results - page 134 / 455 » A Calculus for |
108
click to vote
WOLLIC
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. In informal mathematical usage we often reason using languages with binding. We usually find ourselves placing capture-avoidance constraints on where variables can and c...
BIRTHDAY
2005
Springer
15 years 9 months ago
2005
Springer
118
Voted
CONCUR
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. We present a discretely timed spi-calculus. A primitive for key compromise allows us to model key compromise attacks, thus going beyond the standard Dolev–Yao attacker ...