A Formal Model for SDL Specifications Based on Timed Rewriting Logic
Automated Software Engineering
Linking DC Toghether with TRSL
IFM '00 Proceedings of the Second International Conference on Integrated Formal Methods
An approach to analyzing availability properties of security protocols
Nordic Journal of Computing
Using interval logics for temporal analysis of security protocols
Proceedings of the 2003 ACM workshop on Formal methods in security engineering
Timed traces and strand spaces
CSR'07 Proceedings of the Second international conference on Computer Science: theory and applications
Hi-index | 0.00 |