804 search results - page 4 / 161 » How to Break Access Control in a Controlled Manner |
AINA
2007
IEEE
14 years 12 days ago
2007
IEEE
This paper presents an architectural model for contextual-based delegation access control for pervasive computing, particularly access control mechanisms for ad hoc coalition scen...
LICS
2008
IEEE
14 years 13 days ago
2008
IEEE
Kleene algebra with tests (KAT) is an equational system for program verification that combines Kleene algebra (KA), or the algebra of regular expressions, with Boolean algebra. I...
TON
2010
13 years 22 days ago
2010
We study the contention/interaction among wireless nodes and med -ium access control design in game theory framework. We define a general class of games, called random access game...
INFOCOM
2011
IEEE
12 years 9 months ago
2011
IEEE
Abstract—Market-based mechanisms offer promising approaches for spectrum access in cognitive radio networks. In this paper, we focus on two market models, one with a monopoly pri...
COMPSAC
2006
IEEE
14 years 3 days ago
2006
IEEE
This paper describes a pattern-based technique for systematic development of UML models of secure systems using access control. Access control is viewed and specified as a design...