1490 search results - page 152 / 298 » The Logic of Authentication Protocols |
142
click to vote
DEON
2008
Springer
15 years 5 months ago
2008
Springer
The security policy of an information system may include a wide range of different requirements. The literature has primarily focused on access and information flow control require...
148
click to vote
TCAD
2008
15 years 3 months ago
2008
Abstract--This paper proposes an adaptive watermarking technique by modulating some closed cones in an originally optimized logic network (master design) for technology mapping. Th...
129
click to vote
CSFW
2008
IEEE
15 years 5 months ago
2008
IEEE
The IEEE 802.11s working group is tasked to provide ways of establishing and securing a wireless mesh network. One proposal establishes a Mesh Security Architecture (MSA), with a ...
164
click to vote
MOVEP
2000
15 years 7 months ago
2000
We survey principles of model checking techniques for the automatic analysis of reactive systems. The use of model checking is exemplified by an analysis of the Needham-Schroeder p...
142
click to vote
CLIMA
2004
15 years 5 months ago
2004
In this paper we propose a formal specification of a persuasion protocol between autonomous agents using an approach based on social commitments and arguments. In order to be flexi...