Neil Evans, Steve Schneider. Analysing Time Dependent Security Properties in CSP Using PVS. In Frédéric Cuppens, Yves Deswarte, Dieter Gollmann, Michael Waidner, editors, Computer Security - ESORICS 2000, 6th European Symposium on Research in Computer Security, Toulouse, France, October 4-6, 2000, Proceedings. Volume 1895 of Lecture Notes in Computer Science, pages 222-237, Springer, 2000. [doi]
@inproceedings{EvansS00,
title = {Analysing Time Dependent Security Properties in CSP Using PVS},
author = {Neil Evans and Steve Schneider},
year = {2000},
doi = {10.1007/10722599_14},
url = {http://dx.doi.org/10.1007/10722599_14},
tags = {security},
researchr = {https://researchr.org/publication/EvansS00},
cites = {0},
citedby = {0},
pages = {222-237},
booktitle = {Computer Security - ESORICS 2000, 6th European Symposium on Research in Computer Security, Toulouse, France, October 4-6, 2000, Proceedings},
editor = {Frédéric Cuppens and Yves Deswarte and Dieter Gollmann and Michael Waidner},
volume = {1895},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-41031-7},
}