Algebraic intruder deductions (2005)

by D Basin, S Mödersheim, L Viganò
Venue:In Proceedings of the 12th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR’05), volume 3835 of LNAI