17 search results - page 1 / 4 » tgc 2007 |
TGC
2007
Springer
13 years 10 months ago
2007
Springer
TGC
2007
Springer
13 years 10 months ago
2007
Springer
TGC
2007
Springer
13 years 10 months ago
2007
Springer
Abstract. We study the link between formal and cryptographic models for security protocols in the presence of passive and adaptive adversaries. We first describe the seminal resul...
TGC
2007
Springer
13 years 10 months ago
2007
Springer
Abstract. Ghost variables are assignable variables that appear in program annotations but do not correspond to physical entities. They are used to facilitate specification and ver...
TGC
2007
Springer
13 years 10 months ago
2007
Springer
We study type systems for termination in the π-calculus from the point of view of type inference. We analyse four systems by Deng and Sangiorgi. We show that inference can be done...