Zobrazeno 1 - 3
of 3
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
Publikováno v:
ACM Transactions on Privacy & Security; Aug2023, Vol. 26 Issue 3, p1-36, 36p
Autor:
Heintze, N., Tygart, J.D.
Publikováno v:
Proceedings of 1994 IEEE Computer Society Symposium on Research in Security & Privacy; 1994, p2-13, 12p