Catherine Meadows 个人学术档案

引用次数

	总计	2019 年至今
引用	7987	1197
h 指数	43	15
i10 指数	91	25

440

220

110

330

1990199119921993199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202420 30 32 58 64 47 101 118 141 190 222 225 268 388 367 417 421 431 376 312 300 321 384 228 249 256 233 233 219 279 200 186 246 197 89

开放获取的出版物数量

查看全部

11 篇文章

6 篇文章

可查看的文章

无法查看的文章

根据资助方的强制性开放获取政策

合著作者

Jose MeseguerProfessor of Computer Science, University of Illinois at Urbana-Champaign在 illinois.edu 的电子邮件经过验证
Santiago EscobarVRAIN Valencian Research Institute for Artificial Intelligence. Universitat Politècnica de València在 upv.es 的电子邮件经过验证
Paul SyversonMathematician, U.S. Naval Research Laboratory在 nrl.navy.mil 的电子邮件经过验证
dusko pavlovicProfessor at University of Hawaii在 hawaii.edu 的电子邮件经过验证
Sonia SantiagoPhD. Student - Universidad Politecnica de Valencia在 dsic.upv.es 的电子邮件经过验证
Iliano CervesatoProfessor of Computer Science, Carnegie Mellon University在 cmu.edu 的电子邮件经过验证
Christopher LynchClarkson University在 clarkson.edu 的电子邮件经过验证
Sushil JajodiaUniversity Professor, BDM International Professor, and Director, Center for Secure Information在 gmu.edu 的电子邮件经过验证
Ralf SasseSenior Scientist in Computer Science, ETH Zurich在 inf.ethz.ch 的电子邮件经过验证
Deepak KapurUniversity of New Mexico在 cs.unm.edu 的电子邮件经过验证
David BasinProfessor of Computer Science, ETH Zurich在 inf.ethz.ch 的电子邮件经过验证
Antonio González-BurgueñoPh.D fellow, University of Oslo在 ifi.uio.no 的电子邮件经过验证
Cas CremersCISPA Helmholtz Center for Information Security在 cispa.de 的电子邮件经过验证
John McLeanSuperintendent of Information Technology Division, Naval Research Lab在 nrl.navy.mil 的电子邮件经过验证
John T. SampleSuperintendent, Ocean Sciences Division, Naval Research Laboratory在 nrlssc.navy.mil 的电子邮件经过验证
Ran CanettiProfessor of Computer Science, Boston University在 bu.edu 的电子邮件经过验证
Carl E. LandwehrUniversity of Michigan, George Washington University and Independent Consultant在 gwu.edu 的电子邮件经过验证
Hubert Comon-LundhComputer Science professor, ENS Cachan在 lsv.ens-cachan.fr 的电子邮件经过验证
Joshua GuttmanResearch Professor, Computer Science, Worcester Polytechnic Institute在 wpi.edu 的电子邮件经过验证
Carolyn TalcottSRI International

关注

Catherine Meadows

Head, Formal Methods Section, Naval Research Laboratory

在 nrl.navy.mil 的电子邮件经过验证

formal methods cryptographic protocols security procedures


标题按引用次数排序按年份排序按标题排序	引用次数引用次数	年份
The NRL protocol analyzer: An overview C Meadows The Journal of Logic Programming 26 (2), 113-131, 1996	755	1996
Security of ramp schemes GR Blakley, C Meadows Advances in Cryptology, 242-268, 1985	574	1985
Formal verification of cryptographic protocols: A survey CA Meadows International Conference on the Theory and Application of Cryptology, 133-150, 1994	382	1994
Three systems for cryptographic protocol analysis R Kemmerer, C Meadows, J Millen Journal of CRYPTOLOGY 7 (2), 79-130, 1994	353	1994
Formal methods for cryptographic protocol analysis: Emerging issues and trends C Meadows IEEE journal on selected areas in communications 21 (1), 44-54, 2003	329	2003
Maude-NPA: Cryptographic protocol analysis modulo equational properties S Escobar, C Meadows, J Meseguer Foundations of Security Analysis and Design V, 1-50, 2009	297	2009
A formal framework and evaluation method for network denial of service C Meadows Proceedings of the 12th IEEE computer security foundations workshop, 4-13, 1999	270	1999
Applying formal methods to the analysis of a key management protocol C Meadows Journal of Computer Security 1 (1), 5-35, 1992	268	1992
Applying formal methods to the analysis of a key management protocol CA Meadows NAVAL RESEARCH LAB WASHINGTON DC, 1990	268	1990
A more efficient cryptographic matchmaking protocol for use in the absence of a continuously available third party C Meadows IEEE Symposium on Security and Privacy, 134-137, 1986	246	1986
Analysis of the Internet Key Exchange protocol using the NRL protocol analyzer C Meadows Proceedings of the 1999 IEEE Symposium on Security and Privacy (Cat. No …, 1999	233	1999
Preventing wormhole attacks on wireless ad hoc networks: a graph theoretic approach L Lazos, R Poovendran, C Meadows, P Syverson, LW Chang IEEE Wireless Communications and Networking Conference, 2005 2, 1193-1199, 2005	221	2005
A cost-based framework for analysis of denial of service in networks C Meadows Journal of Computer Security 9 (1-2), 143-164, 2001	194	2001
Open issues in formal methods for cryptographic protocol analysis C Meadows Proceedings DARPA Information Survivability Conference and Exposition …, 2000	181	2000
Analyzing the Needham-Schroeder public key protocol: A comparison of two approaches CA Meadows European Symposium on Research in Computer Security, 351-364, 1996	174	1996
Fingerprinting long forgiving messages GR Blakley, C Meadows, GB Purdy Advances in Cryptology—CRYPTO’85 Proceedings, 180-189, 1986	159	1986
A rewriting-based inference system for the NRL protocol analyzer and its meta-logical properties S Escobar, C Meadows, J Meseguer Theoretical Computer Science 367 (1-2), 162-202, 2006	146	2006
Model checking security protocols D Basin, C Cremers, C Meadows Handbook of Model Checking, 727-762, 2018	136	2018
Model Checking Security Protocols D Basin, C Cremers, C Meadows Handbook of Model Checking, 727-762, 2018	136	2018
A system for the specification and verification of key management protocols C Meadows Proceedings. 1991 IEEE Computer Society Symposium on Research in Security …, 1991	116	1991

系统目前无法执行此操作，请稍后再试。

文章 1–20

每年引用数

重复的引用

合并的引用

添加合著者合著作者

上传 PDF

关注此作者

引用次数

合著作者

引用