14824 search results - page 2326 / 2965 » Security - Introduction |
198
click to vote
SIGMETRICS
2008
ACM
15 years 6 months ago
2008
ACM
Probabilistic model checking is a formal verification framework for systems which exhibit stochastic behaviour. It has been successfully applied to a wide range of domains, includ...
163
click to vote
SIGPLAN
2008
15 years 6 months ago
2008
Many organizations specify information release policies to describe the terms under which sensitive information may be released to other organizations. This paper presents a new a...
166
click to vote
IJNSEC
2007
15 years 6 months ago
2007
In order to reduce key sizes and bandwidth, several LFSRbased (linear feedback shift register) public key cryptosystems and signature schemes have been proposed. Digital signature...
170
click to vote
IJNSEC
2007
15 years 6 months ago
2007
Data-dependent (DD) permutations (DDP) are discussed as a cryptographic primitive for the design of fast hardware, firmware, and software encryption systems. DDP can be performed...
152
click to vote
IJNSEC
2007
15 years 6 months ago
2007
In this paper, we argue that heterogeneity should be an important principle in design and use of cryptographic protocols. We use automated formal analysis tools to randomly genera...