3845 search results - page 213 / 769 » Belief Logic Programming |
93
Voted
FASE
2001
Springer
15 years 9 months ago
2001
Springer
94
Voted
FLOPS
2001
Springer
15 years 9 months ago
2001
Springer
121
Voted
FLOPS
2001
Springer
15 years 9 months ago
2001
Springer
156
Voted
LOPSTR
2001
Springer
15 years 9 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...
