5476 search results - page 870 / 1096 » Resettably Secure Computation |
166
click to vote
ICALP
2005
Springer
16 years 3 days ago
2005
Springer
Abstract. Most of the decision procedures for symbolic analysis of protocols are limited to a fixed set of algebraic operators associated with a fixed intruder theory. Examples o...
162
click to vote
ICCS
2005
Springer
16 years 3 days ago
2005
Springer
We describe the Agents Channelling ContExt Sensitive Services (ACCESS) architecture, an open agent-based architecture that supports the development and deployment of multiple heter...
142
click to vote
ISI
2005
Springer
16 years 2 days ago
2005
Springer
This work identifies the limitations of n-way data analysis techniques in multidimensional stream data, such as Internet chatroom communications data, and establishes a link betwe...
132
click to vote
ISI
2005
Springer
16 years 2 days ago
2005
Springer
Verification of legitimate access of documents, which is one aspect of the umbrella of problems in the Insider Threat category, is a challenging problem. This paper describes the r...
166
click to vote
ISNN
2005
Springer
16 years 2 days ago
2005
Springer
As a crucial issue in computer network security, anomaly detection is receiving more and more attention from both application and theoretical point of view. In this paper, a novel ...