1771 search results - page 201 / 355 » An Aspect-Oriented Security Framework |
137
click to vote
FSTTCS
2007
Springer
16 years 21 days ago
2007
Springer
Type systems for secure information flow aim to prevent a program from leaking information from variables that hold secret data to variables that hold public data. In this work we...
155
click to vote
MODELS
2007
Springer
16 years 20 days ago
2007
Springer
Abstract. This contribution gives an overview of various access control strategies in use in contemporary healthcare scenarios and shows how a broad variety of respective policies ...
209
click to vote
CSFW
2006
IEEE
16 years 18 days ago
2006
IEEE
We argue that games are expressive enough to encompass (history-based) access control, (resource) usage control (e.g., dynamic adaptive access control of reputation systems), acco...
188
click to vote
CSFW
2005
IEEE
16 years 5 days ago
2005
IEEE
Authentication and secrecy properties are proved by very different methods: the former by local reasoning, leading to matching knowledge of all principals about the order of their...
132
click to vote
ICMB
2005
IEEE
16 years 4 days ago
2005
IEEE
The paper presents an effective mobile-to-mobile payment system. A mobile phone with or without SIM card is enabled as an EMV payment instrument and is linked to a debit or credit...