6555 search results - page 356 / 1311 » Secure attribute-based systems |
165
click to vote
ICSE
2007
IEEE-ACM
16 years 6 months ago
2007
IEEE-ACM
Modern multiuser software systems have adopted RoleBased Access Control (RBAC) for authorization management. This paper presents a formal model for RBAC policy validation and a st...
171
click to vote
CHI
2009
ACM
16 years 1 months ago
2009
ACM
Authentication in public spaces is a risky task. Frauds on cash machines (ATMs) are not uncommon nowadays. The biggest group of attacks is observation attacks, which focus on reco...
203
click to vote
PADS
2009
ACM
16 years 1 months ago
2009
ACM
We use a realistic interdomain routing experiment platform to conduct real-time attack and defense exercises for training purposes. Our interdomain routing experiment platform int...
187
click to vote
AICCSA
2008
IEEE
16 years 1 months ago
2008
IEEE
In this paper, we present a novel type and effect analysis for detecting type cast errors and memory errors in C source code. Our approach involves a type system with effect, regi...
156
click to vote
ICSM
2008
IEEE
16 years 1 months ago
2008
IEEE
Traceability links among different software engineering artifacts make explicit how a software system was implemented to accommodate its requirements. For secure and dependable so...