ACISP
1999
Springer
13 years 12 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
13 years 12 months ago
1999
Springer
ACISP
1999
Springer
13 years 12 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
13 years 12 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
13 years 12 months ago
1999
Springer
ACISP
1999
Springer
13 years 12 months ago
1999
Springer
ACISP
1999
Springer
13 years 12 months ago
1999
Springer
CSFW
1999
IEEE
13 years 12 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
13 years 12 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
13 years 12 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...