ACISP
1999
Springer
14 years 4 months ago
1999
Springer
Non-repudiation turns out to be an increasingly important security service with the fast growth of electronic commerce on the Internet. Non-repudiation services protect the transac...
ACISP
1999
Springer
14 years 4 months ago
1999
Springer
ACISP
1999
Springer
14 years 4 months ago
1999
Springer
We use combinatorial methods and permutation groups to classify homogeneous boolean functions. The property of symmetry of a boolean function limits the size of the function’s cl...
ACISP
1999
Springer
14 years 4 months ago
1999
Springer
The ways the threshold parameter can be modified after the setup of a secret sharing scheme is the main theme of this work. The considerations are limited to the case when there ...
ACISP
1999
Springer
14 years 4 months ago
1999
Springer
ACISP
1999
Springer
14 years 4 months ago
1999
Springer
ACISP
1999
Springer
14 years 4 months ago
1999
Springer
CSFW
1999
IEEE
14 years 4 months ago
1999
IEEE
Strand space analysis [13, 12] is a method for stating and proving correctness properties for cryptographic protocols. In this paper we apply the same method to the related proble...
CSFW
1999
IEEE
14 years 4 months ago
1999
IEEE
We propose an efficient automatic checking algorithm, Athena, for analyzing security protocols. Athena incorporates a logic that can express security properties including authenti...
CSFW
1999
IEEE
14 years 4 months ago
1999
IEEE
Software systems are becoming heterogeneous: instead of a small number of large programs from well-established sources, a user's desktop may now consist of many smaller compo...