10 search results - page 1 / 2 » Typing Asymmetric Client-Server Interaction |
FSEN
2009
Springer
13 years 10 months ago
2009
Springer
ESOP
1999
Springer
13 years 11 months ago
1999
Springer
We define an extension of the π-calculus with a static type system which supports high-level specifications of extended patterns of communication, such as client-server protocol...
EUROPLOP
2006
13 years 8 months ago
2006
: The usability of a computer system can be improved by design of the user interface, and, as importantly, by design of usersystem interactions. Our research presents usability-imp...
CSFW
2002
IEEE
14 years 12 days ago
2002
IEEE
We present the first type and effect system for proving authenticity properties of security protocols based on asymmetric cryptography. The most significant new features of our ...
HCI
2007
13 years 9 months ago
2007
Teams performing physical tasks must often be distributed in space, and are often organized hierarchically. This means that systems to support collaboration between members must ac...