Verifying Security Protocols with Brutus - 文献詳細 - Ceek.jp Altmetrics

1 0 0 0 Verifying Security Protocols with Brutus

著者: CLARKE E. M.
雑誌: ACM Transactions on Software Engineering and Methodology
巻号頁・発行日: vol.9, no.4, pp.443-487, 2000
被引用文献数: 5 69

2021-02-15 22:15:06
1 + 1 Twitter

言及状況

外部データベース (DOI)

Twitter (1 users, 1 posts, 1 favorites)

こんな論文どうですか？ Verifying Security Protocols with Brutus(CLARKE E. M.),2000 https://t.co/RdWIKWrgOT

1 @Susan43980543

収集済み URL リスト

https://ci.nii.ac.jp/naid/30022079135 (1)