Algebraic Intruder Deductions

Logic for Programming, Artificial Intelligence, and Reasoning - Lecture Notes in Computer Science ◽

10.1007/11591191_38 ◽

2005 ◽

pp. 549-564 ◽

Cited By ~ 10

Author(s):

David Basin ◽

Sebastian Mödersheim ◽

Luca Viganò

Download Full-text