4731 search results - page 13 / 947 » Securing Interactive Programs |
CCS
1998
ACM
13 years 11 months ago
1998
ACM
We develop a framework for analyzing security protocols in which protocol adversaries may be arbitrary probabilistic polynomial-time processes. In this framework, protocols are wr...
SOUPS
2009
ACM
14 years 2 months ago
2009
ACM
IEEEARES
2007
IEEE
14 years 1 months ago
2007
IEEE
OOPSLA
1997
Springer
13 years 11 months ago
1997
Springer
MA
1997
Springer
13 years 11 months ago
1997
Springer
This paper presents a mobile agent approach that aims at satisfying the following requirements of open Internet-based electronic service markets: the mobile agent system should be...