1679 search results - page 166 / 336 » Security Properties and CSP |
209
click to vote
PKC
1998
Springer
15 years 10 months ago
1998
Springer
One-way hash functions are an important tool in achieving authentication and data integrity. The aim of this paper is to propose a novel one-way hash function based on cellular aut...
157
click to vote
SP
1996
IEEE
15 years 10 months ago
1996
IEEE
Covert channels are a critical concern for multilevel secure (MLS) systems. Due to their subtlety, it is desirable to use formal methods to analyze MLS systems for the presence of...
163
click to vote
ARCS
2006
Springer
15 years 10 months ago
2006
Springer
Abstract: We present a formal framework to talk and reason about dependable systems. The framework is based on three distinct classes of (system specification) properties we call s...
168
click to vote
CRYPTO
2006
Springer
15 years 10 months ago
2006
Springer
We present a robust multiparty computation protocol. The protocol is for the cryptographic model with open channels and a polytime adversary, and allows n parties to actively secur...
174
click to vote
CSFW
2000
IEEE
15 years 10 months ago
2000
IEEE
Schneider's work on rank functions [14] provides a formal approach to verification of certain properties of a security protocol. However, he illustrates the approach only wit...