Validation of security protocol implementations from security objectives
Saved in:
| Title: | Validation of security protocol implementations from security objectives |
|---|---|
| Authors: | Fu, Yulong, yulongf@gmail.com, Koné, Ousmane1 |
| Source: | Computers & Security; Jul2013, Vol. 36, p27-39, 13p |
| Database: | Applied Science & Technology Source |
| ISSN: | 01674048 |
|---|---|
| DOI: | 10.1016/j.cose.2013.01.005 |
