4 search results - page 1 / 1 » Message from the Conference Program Co-Chairs |
SUTC
2006
IEEE
13 years 10 months ago
2006
IEEE
ESCIENCE
2005
IEEE
13 years 10 months ago
2005
IEEE
s..............................................................................................................................26 Index to Authors.....................................
POPL
2000
ACM
13 years 9 months ago
2000
ACM
Adopting a programming-language perspective, we study the problem of implementing authentication in a distributed system. We define a process calculus with constructs for authent...
TGC
2007
Springer
13 years 10 months ago
2007
Springer
Distributed applications can be structured using sessions that specify flows of messages between roles. We design a small specific language to declare sessions. We then build a c...