In order to protect Mobile Internet Protocol Version 6 (MIPv6), considerable researches have
been made, consequently followed by various security protocols, which are based on public …

Historically, various different notions of trust can be found, each addressing particular
aspects of ICT systems, eg, trust in electronic commerce systems based on reputation and …

Abstract Protocol Composition Logic (PCL) is a logic for proving authentication and secrecy
properties of network protocols. This chapter presents the central concepts of PCL, including …

Offloading user management functions like authentication and authorization to identity
providers is a key enabler for cloud computing based services. Protocols used to provide …

Recently, Tsukada et al. propose to use multi-agent epistemic logic for a taxonomy of
information-hiding/disclosure properties, in particular properties used in authentication …

在密码协议中, 主体的认知与信仰状态是随时间推移而不断变化的. 为了在协议分析中体现这种
动态性, 提出一种时间相关密码协议逻辑. 该逻辑基于谓词模态逻辑, 通过在谓词及模态词中引入 …

重点研究身份与位置分离机制下源地址真实性保障方面的方法, 提出了身份与位置分离网络中
唯一且不变的终端身份标识EID 结构, 并设计了一种保障源地址真实性的安全接入方法 …