1882 search results - page 32 / 377 » Transformational Programming and Forests |
COMPSAC
2002
IEEE
14 years 1 months ago
2002
IEEE
ERSHOV
2001
Springer
14 years 1 months ago
2001
Springer
LOPSTR
2001
Springer
14 years 28 days ago
2001
Springer
In this paper we define a sequent calculus to formally specify, simulate, debug and verify security protocols. In our sequents we distinguish between the current knowledge of prin...
RTA
2001
Springer
14 years 28 days ago
2001
Springer
AAECC
1999
Springer
14 years 24 days ago
1999
Springer