2303 search results - page 71 / 461 » The Cryptographic Abstract Machine |
199
click to vote
ECML
2006
Springer
15 years 11 months ago
2006
Springer
Abstract. We propose a simple and efficient approach to building undirected probabilistic classification models (Markov networks) that extend na
187
click to vote
ESORICS
2006
Springer
15 years 11 months ago
2006
Springer
Abstract. We consider the problem of efficient key management and user revocation in cryptographic file systems that allow shared access to files. A performanceefficient solution t...
167
click to vote
QSIC
2003
IEEE
16 years 16 days ago
2003
IEEE
The Abstract State Machine Language supports use-case oriented modeling in a faithful way. In this paper we discuss how the AsmL test tool, a new component of the AsmL tool environ...
198
click to vote
ICC
2007
IEEE
16 years 1 months ago
2007
IEEE
Abstract— Internet Protocol Security (IPSec) is a widely deployed mechanism for implementing Virtual Private Networks (VPNs). In previous work, we examined the overheads incurred...
205
click to vote
IEEEARES
2007
IEEE
16 years 1 months ago
2007
IEEE
In [7] we have proposed a model for the robust and private evaluation of a function within a group of cooperating mobile agents, called an agent Alliance. The model has been given...