학술논문
'학술논문'
에서 검색결과 641건 | 목록
1~10
Book
In Computer and Information Security Handbook Edition: Fourth Edition. 2025:1581-1604
Academic Journal
Aiolli, Fabio; Conti, Mauro; Picek, Stjepan; Polato, Mirko; Liang, Kaitai; Chen, Liqun; Li, Ninghui; Schneider, Steve
Automatic generation of sources lemmas in Tamarin : Towards automatic proofs of security protocols1 .
Academic Journal
Cortier, Véronique; Delaune, Stéphanie; Dreier, Jannik; Klein, Elise; Liang, Kaitai; Chen, Liqun; Li, Ninghui; Schneider, Steve
Academic Journal
Paul, Sebastian; Scheible, Patrik; Wiemer, Friedrich; Liang, Kaitai; Chen, Liqun; Li, Ninghui; Schneider, Steve
Conference
2019 IEEE European Symposium on Security and Privacy (EuroS&P) Security and Privacy (EuroS&P), 2019 IEEE European Symposium on. :127-141 Jun, 2019
Conference
2017 IEEE Vehicular Networking Conference (VNC) Vehicular Networking Conference (VNC), 2017 IEEE. :123-130 Nov, 2017
Academic Journal
Alsadi, Mohammed; Casey, Matthew; Dragan, Constantin Catalin; Dupressoir, Francois; Riley, Luke; Sallal, Muntadher; Schneider, Steve; Treharne, Helen; Wadsworth, Joe; Wright, Phil
검색 결과 제한하기
제한된 항목
[AR] Schneider, Steve
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어