Zobrazeno 1 - 1
of 1
pro vyhledávání: '"J. D. Tygart"'
Autor:
J. D. Tygart, N. Heintze
Publikováno v:
IEEE Symposium on Security and Privacy
The paper develops a foundation for reasoning about protocol security. We adopt a model-based approach for defining protocol security properties. This allows us to describe security properties in greater detail and precision than previous frameworks.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::76d502206c515d76aaaf6bc5d8bfc57e
https://doi.org/10.1109/risp.1994.296596
https://doi.org/10.1109/risp.1994.296596
