학술논문

발행년
-
(예 : 2010-2015)
'학술논문' 에서 검색결과 158건 | 목록 30~40
Conference
In: CEUR Workshop Proceedings, ITASEC 2021 - Proceedings of the Italian Conference on Cybersecurity. (CEUR Workshop Proceedings, 2021, 2940:461-474)
Book
In: Formal Models and Techniques for Analyzing Security Protocols. (Cryptology and Information Security Series, 2011, 5:143-181)
Book
In: Foundations of Security Analysis and Design VI: FOSAD Tutorial Lectures. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2011, 6858 LNCS:35-55)
Academic Journal
In: Journal of Computer Security. (Journal of Computer Security, 2013, 21(6):971-1007)
Conference
In: Proceedings - IEEE Computer Security Foundations Symposium, Proceedings - 2020 IEEE 33rd Computer Security Foundations Symposium, CSF 2020. (Proceedings - IEEE Computer Security Foundations Symposium, June 2020, 2020-June:304-317)
Conference
In: Proceedings - IEEE Computer Security Foundations Symposium, Proceedings - 2020 IEEE 33rd Computer Security Foundations Symposium, CSF 2020. (Proceedings - IEEE Computer Security Foundations Symposium, June 2020, 2020-June:107-122)
Conference
In: CEUR Workshop Proceedings, ITASEC 2020 - Proceedings of the 4th Italian Conference on Cyber Security. (CEUR Workshop Proceedings, 2020, 2597:93-104)
Book
(Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2004, 2946:139-185)
Book
(Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2004, 2986:140-154)
Book
(Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2003, 2619:437-441)
검색 결과 제한하기
제한된 항목
[AR] Focardi, R.
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어