This paper introduces the use of static information flow analysis for the specification and
enforcement of end-to-end availability policies in programs. We generalize the decentralized …

Availability is a critical issue in modern distributed systems. While many techniques and
protocols for preventing denial of service (DoS) attacks have been proposed and deployed …

Mobile handhelds with wireless access are used in numerous safety critical applications.
The wireless network protocols in use are vulnerable to a wide array of denial of service …

Due to the dramatic increase in intrusion activities, the definition and evaluation of software
security requirements have become important aspects of the development of software …

The application of formal methods to cryptographic protocol analysis has been a growth
area recently. Most of the attention has been paid to the design of languages for the …

首先从攻击者上下文与进程表达式2 个方面对标准应用PI 演算进行扩展,
然后从协议状态的角度, 应用扩展后的应用PI 演算对协议抗拒绝服务攻击性进行建模 …

The CCS (Calculus of Communicating System) process algebra is a well-known formal
model of synchronization and communication, useful for the analysis of safety and liveness …

The calculus of communicating systems (CCS) process algebra is a well-known formal
model of synchronization and communication. It is used for the analysis of safety and …

The huge damage of denial of service attacks in security protocols attracts researchers'
attention and effort to analysis, verification and prevention of denial of service attacks. In …

Owning to the damage of denial of service attacks in security protocols, resistance of denial
of service attacks plays an important role in remote voting protocols. Recently Meng et al …