894 search results - page 79 / 179 » Secure Implementation of Channel Abstractions |
CSFW
2012
IEEE
13 years 11 days ago
2012
IEEE
Abstract—This paper introduces g-leakage, a rich generalization of the min-entropy model of quantitative information flow. In g-leakage, the benefit that an adversary derives f...
88
Voted
CRITIS
2007
14 years 11 months ago
2007
Abstract. Virtual Interacting Network CommunIty (Vinci) is an abstract architecture to share in a secure way an ICT infrastructure among several user communities, each with its own...
IEEEARES
2006
IEEE
15 years 4 months ago
2006
IEEE
— Service Oriented Architectures with underlying technologies like web services and web services orchestration have opened the door to a wide range of novel application scenarios...
107
click to vote
CSFW
2012
IEEE
13 years 11 days ago
2012
IEEE
—Role-based Access Control (RBAC) is one of the most widespread security mechanisms in use today. Given the growing complexity of policy languages and access control systems, ver...
TGC
2007
Springer
15 years 4 months ago
2007
Springer
Abstract. We study the link between formal and cryptographic models for security protocols in the presence of passive and adaptive adversaries. We first describe the seminal resul...