Algebraic intruder deductions (2005)

Cached

Download Links

by David Basin , Sebastian Mödersheim , Luca Viganò
Venue:In Proceedings of LPAR’05, LNAI 3835
Citations:14 - 4 self