Literature for Formal Methods in Security


Link to the Homepage: Formal Methods in Security


no image available Kremer, Steve
Formal models and techniques for analyzing security protocols
IOS Press 2011