Search results
IET Circuits, Devices & Systems > 2017 > 11 > 4 > 395 - 403
Formal Aspects of Computing > 2017 > 29 > 6 > 987-1011
Magnetic Resonance in Chemistry > 55 > 1 > 15 - 21
Advances in Intelligent and Soft Computing > Proceedings of the International Workshop on Computational Intelligence in Security for Information Systems CISIS’8 > Network Security > 123-130
International Journal of Information Security > 2017 > 16 > 5 > 491-523
Lecture Notes in Computer Science > Computer Security - ESORICS 2000 > Protocol Verification > 175-190
Lecture Notes in Computer Science > Distributed Computing and Internet Technology > Web Databases > 361-374
Lecture Notes in Computer Science > Foundations of Software Technology and Theoretical Computer Science > 54-56
Lecture Notes in Computer Science > Advances in Computer Science - ASIAN 2006. Secure Software and Related Issues > ASIAN’2006 > 248-255
Lecture Notes in Computer Science > Theoretical Aspects of Computing - ICTAC 2006 > Model Checking > 153-167
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Model Checking and Testing > 357-370