著者名,論文名,雑誌名,ISSN,出版者名,出版日付,巻,号,ページ,URL,URL(DOI)
Cas Cremers and Martin Dehnel-Wild,Component-Based Formal Analysis of 5G-AKA: Channel Assumptions and Session Confusion,Proceedings 2019 Network and Distributed System Security Symposium,,Internet Society,2019,,,,https://cir.nii.ac.jp/crid/1360855571344094592,https://doi.org/10.14722/ndss.2019.23394