15 search results - page 1 / 3 » sefm 2007 |
SEFM
2007
IEEE
13 years 11 months ago
2007
IEEE
SEFM
2007
IEEE
13 years 11 months ago
2007
IEEE
SEFM
2007
IEEE
13 years 11 months ago
2007
IEEE
SEFM
2007
IEEE
13 years 11 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...
SEFM
2007
IEEE
13 years 11 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...