Literature for Formal verification in Security


Link to the Homepage: Formal verification in Security


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