Relating multiset rewriting and process algebras for security protocol analysis-Reference-Cited by-同舟云学术

Relating multiset rewriting and process algebras for security protocol analysis

Published:2005-01-20 Issue:1 Volume:13 Page:3-47
ISSN:1875-8924
Container-title:Journal of Computer Security
language:
Short-container-title:JCS

Author:

Bistarelli Stefano¹²,Cervesato Iliano³,Lenzini Gabriele⁴⁵,Martinelli Fabio¹

Affiliation:

1. Istituto di Informatica e Telematica – CNR, Via G. Moruzzi 1, I-56100 Pisa, Italy. E-mail: stefano.bistarelli@iit.cnr.it, fabio.martinelli@iit.cnr.it

2. Dipartimento di Scienze, Università “D'Annunzio” di Chieti-Pescara, Viale Pindaro 87, 65127 Pescara, Italy. E-mail: bista@sci.unich.it

3. Advanced Engineering and Science Division, ITT Industries Inc., Alexandria, VA 22303, USA. E-mail: iliano@itd.nrl.navy.mil

4. Istituto di Scienza e Tecnologie dell'Informazione – CNR, Via G. Moruzzi 1, I-56100 Pisa, Italy. E-mail: gabriele.lenzini@isti.cnr.it

5. Department of Computer Science, University of Twente, 7500 AE Enschede, The Netherlands. E-mail: lenzinig@cs.utwente.nl

Publisher

IOS Press

Subject

Computer Networks and Communications,Hardware and Architecture,Safety, Risk, Reliability and Quality,Software

Cited by 14 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Applying Infinite Petri Nets to the Cybersecurity of Intelligent Networks, Grids and Clouds;Applied Sciences;2021-12-14

2. Two Kinds of Infinite Petri Nets for Modeling Computing and Communication Systems;2021 IEEE 8th International Conference on Problems of Infocommunications, Science and Technology (PIC S&T);2021-10-05

3. Automated analysis of security protocols with global state;Journal of Computer Security;2016-11-08

4. Cross-Tool Semantics for Protocol Security Goals;Security Standardisation Research;2016

5. Automated Analysis of Security Protocols with Global State;2014 IEEE Symposium on Security and Privacy;2014-05