dc.contributor.author |
Bella, Giampaolo |
|
dc.date.accessioned |
2010-04-09T13:14:52Z |
|
dc.date.available |
2010-04-09T13:14:52Z |
|
dc.date.issued |
2010-04 |
|
dc.identifier.citation |
Bella, G. (2010) The principle of guarantee availability for security protocol analysis. International Journal of Information Security, 9 (2), pp. 83-97. |
en |
dc.identifier.issn |
1615-5262 |
|
dc.identifier.uri |
http://hdl.handle.net/2086/3697 |
|
dc.language.iso |
en |
en |
dc.publisher |
Springer |
en |
dc.title |
The principle of guarantee availability for security protocol analysis. |
en |
dc.type |
Article |
en |
dc.identifier.doi |
http://dx.doi.org/10.1007/s10207-009-0097-y |
|
dc.researchgroup |
Software Technology Research Laboratory (STRL) |
en |
dc.peerreviewed |
Yes |
en |
dc.ref2014.selected |
1367395509_1010680226037_11_3 |
|