Specification and verification of protocols with time constraints

Electronic Notes in Theoretical Computer Science

Volumn 99, Issue , 2004, Pages 205-227

  Napoli, Margherita ^a   Parente, Mimmo ^a   Peron, Adriano ^b  

^a UNIVERSITY OF SALERNO   (Italy)

^b UNIVERSITY OF NAPLES FEDERICO II   (Italy)

Author keywords

Model Checking; Non Repudiation Protocol; Specification; Timed Automata

Indexed keywords

MODEL-CHECKING; NON-REPUDIATION PROTOCOL; SPECIFICATION; TIMED AUTOMATA;

AUTOMATA THEORY; CONSTRAINT THEORY; CRYPTOGRAPHY; FORMAL LOGIC; GRAPH THEORY; MATHEMATICAL MODELS; PROBLEM SOLVING;

NETWORK PROTOCOLS;

EID: 18944373667     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.entcs.2004.02.009     Document Type: Article

References (9)

1. R. Alur, T. Henzinger, M. Vardi, Parametric real-time reasoning, STOC 1993, pp.592-601.
2. R. Alur, D. Dill, A theory of timed automata, Theoretical Computer Science, 126, pp. 183-235, 1994.
3. R. Barbuti, N. De Francesco, A. Santone, L. Tesei, A Notion of Non-interference for Timed Automata, Fundamente Informaticae, 51 2003 pp. 1 -11.
4. C. Daws, A. Olivero, S. Tripakis, S. Yovine, The tool KRONOS, In Hybrid Systems III: Verification and Control, LNCS 1066, pp. 208-219, 1996.
5. R. Gorrieri E. Locatelli, F. Martinelli, A simple Language for Real Time Cryptographic Protocol Analysis, ESOP 2003, LNCS 2618, pp. 114-128, 2003-03-27
6. R. Lanotte, A. Maggiolo-Schettini, S. Tini, Timed Information Flow for Timed Automata, submitted.
7. K. Larsen, P. Petterson, W. Yi, UPPAL in a nutshell, Springer International Journal of Software Tools for Technology Transfer, 1, 1997.
8. C. Meadows, Formal methods for cryptographic protocol analysis: emerging issues and trends. IEEE Journal On Selected Area in Communications, 21, 2003
9. J. Zhou, D. Gollmann, An Efficient Non-repudiation Protocol, 10-th Computer Security Foundation Workshop (CSFW'97), Rockport, Massachusets, USA, 126-132, 1997.