Catherine Meadows 人物
相关论文查看全部 (3)
The NRL Protocol Analyzer: An Overview
1996The Journal of Logic Programming引用 454
Security of Ramp Schemes
2007Lecture notes in computer science引用 377
Maude-NPA: Cryptographic Protocol Analysis Modulo Equational Properties
2009Lecture notes in computer science引用 226
相关公司查看全部 (3)
Texas A&M International UniversityUNIVERSITY
Naval Research Laboratory Information Technology DivisionRESEARCH_INSTITUTE
United States Naval Research LaboratoryRESEARCH_INSTITUTE
相关事件
暂无数据
相关专利
暂无数据
相关文章
暂无数据