Ecology · 2003 · 16 citations · 3 references
ComputingComputer EngineeringComputer ScienceComputer SecurityMobile ComputingMobile SecurityMobile Device SecurityMobile Network SecurityMobile NetworksMobile PrivacyAnonymityAnonymity In Mobile NetworksMobility SecuritySecurity Mechanisms
An attacker model is a pre-requisite to make statements on the properties of security mechanisms. However, in order to be adequate, an attacker model should fit to the class of the considered security mechanisms and to the (computing) environment. This paper introduces a new attacker model, called the Freiburg Privacy Diamond (FPD), to evaluate anonymity mechanisms with regard to mobility, especially device mobility. This model takes into account the conditions of mobile computing. The FPD enables the analyser to adjust the strength of the attacker in a fine grained way and dependent on the (computing) environment. 1
3
On the security of public key protocols
Danny Dolev, A. Yao · IEEE Transactions on Information Theory · 1983 · 5.7K citations
Michael K. Reiter, Aviel D. Rubin · ACM Transactions on Information and System Security · 1998 · 1.8K citations
Nils J. Nilsson · Artificial Intelligence · 1986 · 1.2K citations