Zobrazeno 1 - 7
of 7
pro vyhledávání: '"Catherine A. Meadows"'
Autor:
Dalton Chichester, Wei Du, Raymond Kauffman, Hai Lin, Christopher Lynch, Andrew M. Marshall, Catherine A. Meadows, Paliath Narendran, Veena Ravishankar, Luis Rovira, Brandon Rozek
Recently, interest has been emerging in the application of symbolic techniques to the specification and analysis of cryptosystems. These techniques, when accompanied by suitable proofs of soundness/completeness, can be used both to identify insecure
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::9c4026e81e3db8ca6f055b570f339128
http://arxiv.org/abs/2209.10321
http://arxiv.org/abs/2209.10321
This book constitutes the thoroughly refereed post-conference proceedings of the 7th International Workshop on Security and Trust Management, STM 2011, held in Copenhagen, Denmark, in June 2011 - co-located with IFIPTM 2011, the 5th IFIP Internationa
Publikováno v:
International Journal of Information Security. 1:1-2
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::096069aba5d471ac4dd83b643471682c
https://doi.org/10.1007/s102070100004
https://doi.org/10.1007/s102070100004
Conference
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.