2272 search results - page 134 / 455 » A Calculus for |
146
Voted
WOLLIC
2007
Springer
16 years 1 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...
168
Voted
TPHOL
2005
IEEE
16 years 18 days ago
2005
IEEE
161
Voted
CONCUR
2005
Springer
16 years 17 days 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 ...