741 search results - page 20 / 149 » Verification of security protocols using LOTOS-method and ap... |
106
click to vote
CSFW
2007
IEEE
15 years 6 months ago
2007
IEEE
Most model checking techniques for security protocols make a number of simplifying assumptions on the protocol and/or on its execution environment that prevent their applicability...
111
click to vote
ENTCS
2007
14 years 11 months ago
2007
Temporal logics of knowledge are useful for reasoning about situations where the knowledge of an agent or component is important, and where change in this knowledge may occur over...
ISSA
2004
15 years 1 months ago
2004
Today, business continuity depends significantly on the continuous availability of information systems. It is well-known that such systems must be protected against intrusion and ...
IEEEARES
2007
IEEE
15 years 6 months ago
2007
IEEE
The use of one-way chains in authentication protocols is a technique of great importance which has many applications. Employing cryptographic techniques in the area of industrial ...
FMSD
2006
14 years 11 months ago
2006
We define a cones and foci proof method, which rephrases the question whether two system specifications are branching bisimilar in terms of proof obligations on relations between ...