1777 search results - page 159 / 356 » Programming Cryptographic Protocols |
ESAW
2007
Springer
15 years 7 months ago
2007
Springer
The ubiquity of our increasingly distributed and complex computing environments have necessitated the development of programming approaches and paradigms that can automatically man...
120
click to vote
CCS
1998
ACM
15 years 5 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...
109
click to vote
ANSS
1995
IEEE
15 years 4 months ago
1995
IEEE
In this paper we present simulation algorithmsthat characterize the main sources of communication generated by parallel applications under both invalidate and updatebased cache co...
ISCC
2007
IEEE
15 years 7 months ago
2007
IEEE
Even though PDAs in general—but smartcards in particular—can be trusted to keep secrets, because they have meager resources, including them in security protocols is difficult...
100
click to vote
ATAL
2005
Springer
15 years 6 months ago
2005
Springer
There is a wide agreement on the use of norms in order to specify the expected behaviour of agents in open MAS. However, in highly regulated domains, where norms dictate what can a...