|
|
Link to the Homepage: Formal verification in Security
| |
 |
Kremer, Steve Formal models and techniques for analyzing security protocols IOS Press 2011 |
|
|
Link to the Homepage: Formal verification in Security
| |
|
Kremer, Steve Formal models and techniques for analyzing security protocols IOS Press 2011 |