Computationally Sound Mechanized Proofs for Basic and Public-key Kerberos Bruno Blanchet1 Aaron D. Jaggard2 Joe-Kai Tsay3

Source URL: prosecco.gforge.inria.fr

Kerberos und NFSv4 Alexander Kaiser AG Technische Informatik 27. November 2012

Source URL: www.cebitec.uni-bielefeld.de

Stealing credentials for impersonation Emmanuel Bouillon October 29, 2010 Introduction

Source URL: archive.hack.lu

• Cryptography
• Computer network security
• Computer security
• Cyberwarfare
• Kerberos
• Key distribution center
• Authentication protocol
• Authentication
• Ticket

Kerberos-Based Authentication for OpenStack Cloud Infrastructure as a Service Sazzad Masud and Ram Krishnan∗ University of Texas at San Antonio , Abstract

Source URL: isyou.info

A. Datta et al. / Protocol Composition Logic 1 Protocol Composition Logic Anupam DATTA a , John C. MITCHELL b , Arnab ROY b and

Source URL: seclab.stanford.edu

• Cryptography
• Protocol composition logic
• Authentication protocols
• BurrowsAbadiNeedham logic
• Communications protocol
• Kerberos
• Public-key cryptography
• Cryptographic protocol

Inductive Proof Method for Computational Secrecy Arnab Roy, Anupam Datta, Ante Derek, John C. Mitchell Department of Computer Science, Stanford University Abstract. We investigate inductive methods for proving secrecy p

Source URL: seclab.stanford.edu

• Cryptography
• Authentication protocols
• Computer network security
• Ciphertext indistinguishability
• DolevYao model
• Advantage
• Kerberos
• Cryptographic protocol
• Security parameter
• XTR
• Challengeresponse authentication
• Security protocol notation

Secrecy Analysis in Protocol Composition Logic? Arnab Roy1 , Anupam Datta1 , Ante Derek1 , John C. Mitchell1 , Jean-Pierre Seifert2 1 2

Source URL: seclab.stanford.edu

• Authentication protocols
• Symmetric-key cryptography
• Computer network security
• IP
• Kerberos
• NeedhamSchroeder protocol
• Cryptography

暗号プロトコル評価対象の概要 独立行政法人 情報通信研究機構 1.プロトコル名：Kerberos Basic 2.関連する標準：R・RFC4120 (The Kerberos Network Authentication Se

Source URL: crypto-protocol.nict.go.jp