1679 search results - page 255 / 336 » Security Properties and CSP |
141
click to vote
IFIP
2005
Springer
15 years 11 months ago
2005
Springer
Recently, opacity has proved to be a promising technique for describing security properties. Much of the work has been couched in terms of Petri nets. Here, we extend the notion of...
163
click to vote
ASIACRYPT
2004
Springer
15 years 11 months ago
2004
Springer
Universal One-Way Hash Functions (UOWHFs) are families of cryptographic hash functions for which first a target input is chosen and subsequently a key which selects a member from ...
163
click to vote
ATAL
2004
Springer
15 years 11 months ago
2004
Springer
Distributed multi-agent systems require naming services to locate and communicate with remote agents. In this paper we focus on the design and implementation of the “White Pages...
154
click to vote
CSL
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. Security properties are profitably expressed using notions of contextual equivalence, and logical relations are a powerful proof technique to establish contextual equiva...
145
click to vote
ICARIS
2004
Springer
15 years 11 months ago
2004
Springer
The benefits of negative detection for obscuring information are explored in the context of Artificial Immune Systems (AIS). AIS based on string matching have the potential for a...