15 search results - page 1 / 3 » sefm 2007 |
72
Voted
SEFM
2007
IEEE
15 years 4 months ago
2007
IEEE
87
Voted
SEFM
2007
IEEE
15 years 4 months ago
2007
IEEE
86
Voted
SEFM
2007
IEEE
15 years 4 months ago
2007
IEEE
72
Voted
SEFM
2007
IEEE
15 years 4 months ago
2007
IEEE
We describe a simple and efficient algorithm for proving the termination of a class of loops with nonlinear assignments to variables. The method is based on divergence testing fo...
86
Voted
SEFM
2007
IEEE
15 years 4 months ago
2007
IEEE
We model security protocols as a game tree using concepts of game semantics. Using this model we ascribe semantics to protocols written in the standard simple arrow notation. Acco...