8766 search results - page 289 / 1754 » Functional logic programming |
78
Voted
FASE
2001
Springer
15 years 7 months ago
2001
Springer
106
Voted
FLOPS
2001
Springer
15 years 7 months ago
2001
Springer
132
click to vote
LOPSTR
2001
Springer
15 years 7 months 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...
88
Voted
LPNMR
2001
Springer
15 years 7 months ago
2001
Springer
96
Voted
SAS
2001
Springer
15 years 7 months ago
2001
Springer