598 search results - page 89 / 120 » Aspect-Oriented Development Using Protocol Modeling |
146
click to vote
ASIAN
2009
Springer
15 years 3 months ago
2009
Springer
Abstract. Static equivalence is a well established notion of indistinguishability of sequences of terms which is useful in the symbolic analysis of cryptographic protocols. Static ...
121
click to vote
PERCOM
2008
ACM
16 years 1 months ago
2008
ACM
This paper proposes a multiagent based virtual community as a new means to support pervasive computing services. We give a conceptual definition of the concept of Place-Based Virt...
132
Voted
HICSS
2005
IEEE
15 years 7 months ago
2005
IEEE
The goal of a Public-Key-Infrastructure (PKI) is to prove whether a cryptographic public key is authentic for a certain user. This information is crucial for the reliability of as...
ICAIL
2007
ACM
15 years 5 months ago
2007
ACM
In this paper, we develop our previous outline of a multi-agent architecture for regulated information exchange in crime investigations. Interactions about information exchange be...
120
click to vote
JSA
2006
15 years 1 months ago
2006
Data-shipping systems that allow inter-transaction caching raise the need of a transactional cache consistency maintenance (CCM) protocol because each client is able to cache a po...