852 search results - page 113 / 171 » Model-Checking Access Control Policies |
ACJ
2006
13 years 9 months ago
2006
In this paper we present query filtering techniques based on bottom-up tree automata for XML access control. In our authorization model (RXACL), RDF statements are used to represen...
ICC
2008
IEEE
14 years 3 months ago
2008
IEEE
Abstract—Wireless mesh network (WMN) has emerged recently as a promising technology for next-generation wireless networking. In WMN, it is important to provide an efficient hand...
VTC
2008
IEEE
14 years 3 months ago
2008
IEEE
Abstract— In this paper, we propose a way of achieving optimality in radio resource management (RRM) for heterogeneous networks. We consider a micro or femto cell with two co-loc...
SASO
2007
IEEE
14 years 3 months ago
2007
IEEE
Current aggregation systems either have a single inbuilt aggregation mechanism or require applications to specify an aggregation policy a priori. It is hard to predict the read an...
HICSS
2005
IEEE
14 years 2 months ago
2005
IEEE
In this paper we propose a conceptual model of virtual organizations as normative multiagent systems. The dynamic aspects of virtual organizations are modeled using aspects of spe...