Name
Abstract | ||
|---|---|---|
This paper presents an approach to the analysis of real-time properties of security protocols, based on the use of Interval Logic with durations to express and reason about temporal phenomena. We focus on the analysis of availability, where time is known to play a significant role, illustrate how relevant timing requirements can be formulated and show how Interval Logic can be used to prove that a system can fulfil these requirements in the presence of attackers of a given strength. We link this logic-based approach to more operational approaches. |
Year | DOI | Venue |
|---|---|---|
2003 | 10.1145/1035429.1035432 | FMSE |
Keywords | Field | DocType |
significant role,logic-based approach,security protocol,temporal analysis,temporal phenomenon,relevant timing requirement,real-time property,operational approach,interval logic,security protocols,verification,real time | Computation tree logic,Cryptographic protocol,Interval temporal logic,Computer science,Real-time computing,Theoretical computer science | Conference |
ISBN | Citations | PageRank |
1-58113-781-8 | 7 | 0.70 |
References | Authors | |
17 | 2 | |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Michael r. Hansen | 1 | 543 | 43.29 |
| r t sharp | 2 | 33 | 3.65 |