![](/img/cover-not-exists.png)
[IEEE 2010 Fourth International Conference on Secure Software Integration and Reliability Improvement Companion (SSIRI-C) - Singapore, Singapore (2010.06.9-2010.06.11)] 2010 Fourth International Conference on Secure Software Integration and Reliability Improvement Companion - Utilization of Timed Automata as a Verification Tool for Security Protocols
Koltuksuz, Ahmet, Kulahcioglu, Burcu, Ozkan, MuratYear:
2010
Language:
english
Pages:
8
DOI:
10.1109/SSIRI-C.2010.27
File:
PDF, 1.19 MB
english, 2010