5255 search results - page 294 / 1051 » Formal Methods for Privacy |
215
click to vote
ACSAC
2008
IEEE
16 years 1 months ago
2008
IEEE
Role hierarchies are fundamental to the role based access control (RBAC) model. The notion of role hierarchy is a well understood concept that allows senior roles to inherit the p...
185
click to vote
SP
2007
IEEE
16 years 1 months ago
2007
IEEE
To achieve end-to-end security, traditional machine-to-machine security measures are insufficient if the integrity of the human-computer interface is compromised. GUI logic flaws ...
209
click to vote
ESORICS
2007
Springer
16 years 1 months ago
2007
Springer
Although there exist informal design guidelines and formal development support, security protocol development is time-consuming because design is error-prone. In this paper, we int...
224
click to vote
MDM
2007
Springer
16 years 1 months ago
2007
Springer
A general consensus is that the proliferation of locationaware devices will result in a diffusion of location-based services. Privacy preservation is a challenging research issue ...
218
click to vote
CSFW
2006
IEEE
16 years 1 months ago
2006
IEEE
We describe a faithful embedding of the Dolev-Yao model of Backes, Pfitzmann, and Waidner (CCS 2003) in the theorem prover Isabelle/HOL. This model is cryptographically sound in ...