Imperial College London

ProfessorAlessioLomuscio

Faculty of EngineeringDepartment of Computing

Professor of Logic for Multiagent Systems
 
 
 
//

Contact

 

+44 (0)20 7594 8414a.lomuscio Website

 
 
//

Location

 

569Huxley BuildingSouth Kensington Campus

//

Summary

 

Publications

Citation

BibTex format

@article{Boureanu:2009:10.3166/jancl.19.463-487,
author = {Boureanu, I and Cohen, M and Lomuscio, A},
doi = {10.3166/jancl.19.463-487},
journal = {Journal of Applied Non-Classical Logics},
pages = {463--487},
title = {Automatic verification of temporal-epistemic properties of cryptographic protocols.},
url = {http://dx.doi.org/10.3166/jancl.19.463-487},
volume = {19},
year = {2009}
}

RIS format (EndNote, RefMan)

TY  - JOUR
AU - Boureanu,I
AU - Cohen,M
AU - Lomuscio,A
DO - 10.3166/jancl.19.463-487
EP - 487
PY - 2009///
SN - 1166-3081
SP - 463
TI - Automatic verification of temporal-epistemic properties of cryptographic protocols.
T2 - Journal of Applied Non-Classical Logics
UR - http://dx.doi.org/10.3166/jancl.19.463-487
VL - 19
ER -