Feng Liu, Zhoujun Li, Ti Zhou, Mengjun Li
Supremum of Agent Number Needed in Analyzing Security Protocols Based on Horn Logic
SEKE, 2008.
@inproceedings{SEKE-2008-LiuLZL,
author = "Feng Liu and Zhoujun Li and Ti Zhou and Mengjun Li",
booktitle = "{Proceedings of the 20th International Conference on Software Engineering and Knowledge Engineering}",
isbn = "1-891706-22-5",
pages = "795--801",
publisher = "{Knowledge Systems Institute Graduate School}",
title = "{Supremum of Agent Number Needed in Analyzing Security Protocols Based on Horn Logic}",
year = 2008,
}