Owl: Compositional Verification of Security Protocols via an Information-Flow Type System
Owl: Compositional Verification of Security Protocols via an Information-Flow Type System
复制标题
Owl：通过信息流类型系统对安全协议进行组合验证
DOI：
--
复制
发表时间：
2023
期刊：
影响因子：
--
通讯作者：
Parno, Bryan
中科院分区：
文献类型：
--
作者：
Gancher, Joshua;Gibson, Sydney;Singh, Pratap;Dharanikota, Samvid;Parno, Bryan
登录
查看更多内容
DOI：
10.1007/978-3-642-28641-4_11
发表时间：
2012-03
期刊：
--
影响因子：
--
作者：
G. Bana;Hubert Comon-Lundh
通讯作者：
G. Bana;Hubert Comon-Lundh
影响因子：
0.6
作者：
Dreyer, Derek;Ahmed, Amal;Birkedal, Lars
通讯作者：
Birkedal, Lars
DOI：
10.1007/978-3-642-22792-9_5
发表时间：
2011-08
期刊：
--
影响因子：
--
作者：
G. Barthe;B. Grégoire;S. Heraud;Santiago Zanella-Béguelin
通讯作者：
G. Barthe;B. Grégoire;S. Heraud;Santiago Zanella-Béguelin
DOI：
10.1145/1328438.1328479
发表时间：
2008
期刊：
2019 IEEE 32nd Computer Security Foundations Symposium (CSF)
影响因子：
--
作者：
Peeter Laud
通讯作者：
Peeter Laud
DOI：
10.1136/ebmh.11.4.102
发表时间：
2008-10
期刊：
Evidence Based Mental Health
影响因子：
--
作者：
P. Cochat;L. Vaucoret;J. Sarles
通讯作者：
P. Cochat;L. Vaucoret;J. Sarles