124 search results - page 20 / 25 » Synthesising verified access control systems in XACML |
VLSID
2002
IEEE
14 years 9 months ago
2002
IEEE
Directed test program-based verification or formal verification methods are usually quite ineffective on large cachecoherent, non-uniform memory access (CC-NUMA) multiprocessors b...
ITIIS
2010
13 years 3 months ago
2010
Integrated RFID-WSNs (wireless sensor networks) have recently been researched to provide object identities, sensing information, mobile service, and network functionalities. In in...
ICC
2007
IEEE
14 years 2 months ago
2007
IEEE
— In modern wireless networks the functions included into layer II have to deal with complex problems, such as security and access control, that were previously demanded to upper...
IPCCC
2006
IEEE
14 years 2 months ago
2006
IEEE
The Maille Authorization protocol provides flexible and reliable authorization in large distributed and pervasive computing systems. Service owners distribute their access control...
TCOM
2010
13 years 3 months ago
2010
Abstract--Arbitration and scheduling of multiple tags in stateof-the-art Radio Frequency Identification (RFID) systems is accomplished on the medium access control layer. Currently...