Catherine Meadows

인용

	전체	2020년 이후
서지정보	8104	1012
h-index	43	13
i10-index	91	20

440

220

110

330

19901991199219931994199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024202520 30 32 57 64 47 98 118 142 190 226 224 269 388 370 417 420 432 377 318 301 322 389 223 250 256 233 238 219 280 205 192 246 200 153 16

공개 액세스

모두 보기

자료 12개

자료 6개

공개

비공개

재정 지원 요구사항 기준

공동 저자

Jose MeseguerProfessor of Computer Science, University of Illinois at Urbana-Champaignillinois.edu의 이메일 확인됨
Santiago EscobarVRAIN Valencian Research Institute for Artificial Intelligence. Universitat Politècnica de Valènciaupv.es의 이메일 확인됨
Paul SyversonMathematician, U.S. Naval Research Laboratorynrl.navy.mil의 이메일 확인됨
dusko pavlovicProfessor at University of Hawaiihawaii.edu의 이메일 확인됨
Sonia SantiagoPhD. Student - Universidad Politecnica de Valenciadsic.upv.es의 이메일 확인됨
Iliano CervesatoProfessor of Computer Science, Carnegie Mellon Universitycmu.edu의 이메일 확인됨
Christopher LynchClarkson Universityclarkson.edu의 이메일 확인됨
Sushil JajodiaUniversity Professor, BDM International Professor, and Director, Center for Secure Informationgmu.edu의 이메일 확인됨
Ralf SasseSenior Scientist in Computer Science, ETH Zurichinf.ethz.ch의 이메일 확인됨
Deepak KapurUniversity of New Mexicocs.unm.edu의 이메일 확인됨
David BasinProfessor of Computer Science, ETH Zurichinf.ethz.ch의 이메일 확인됨
Antonio González-BurgueñoPh.D fellow, University of Osloifi.uio.no의 이메일 확인됨
Cas CremersCISPA Helmholtz Center for Information Securitycispa.de의 이메일 확인됨
John McLeanSuperintendent of Information Technology Division, Naval Research Labnrl.navy.mil의 이메일 확인됨
John T. SampleSuperintendent, Ocean Sciences Division, Naval Research Laboratorynrlssc.navy.mil의 이메일 확인됨
Ran CanettiProfessor of Computer Science, Boston Universitybu.edu의 이메일 확인됨
Carl E. LandwehrUniversity of Michigan, George Washington University and Independent Consultantumich.edu의 이메일 확인됨
Hubert Comon-LundhComputer Science professor, ENS Cachanlsv.ens-cachan.fr의 이메일 확인됨
Joshua GuttmanResearch Professor, Computer Science, Worcester Polytechnic Institutewpi.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	762	1996
Security of ramp schemes GR Blakley, C Meadows Advances in Cryptology, 242-268, 1985	588	1985
Formal verification of cryptographic protocols: A survey CA Meadows International Conference on the Theory and Application of Cryptology, 133-150, 1994	387	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	333	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	308	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	274	1999
Applying formal methods to the analysis of a key management protocol C Meadows Journal of Computer Security 1 (1), 5-35, 1992	271	1992
Applying formal methods to the analysis of a key management protocol CA Meadows NAVAL RESEARCH LAB WASHINGTON DC, 1990	271	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	267	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	195	2001
Open issues in formal methods for cryptographic protocol analysis C Meadows Proceedings DARPA Information Survivability Conference and Exposition …, 2000	182	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	178	1996
Fingerprinting long forgiving messages GR Blakley, C Meadows, GB Purdy Advances in Cryptology—CRYPTO’85 Proceedings, 180-189, 1986	160	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	152	2006
Model checking security protocols D Basin, C Cremers, C Meadows Handbook of Model Checking, 727-762, 2018	145	2018
Model Checking Security Protocols D Basin, C Cremers, C Meadows Handbook of Model Checking, 727-762, 2018	145	2018
Distance bounding protocols: Authentication logic analysis and collusion attacks C Meadows, R Poovendran, D Pavlovic, LW Chang, P Syverson Secure localization and time synchronization for wireless sensor and ad hoc …, 2007	117	2007

현재 시스템이 작동되지 않습니다. 나중에 다시 시도해 주세요.

학술자료 1–20

연간 인용횟수

중복된 서지정보

병합된 서지정보

공동 저자 추가공동 저자

팔로우

인용

공동 저자