124 search results - page 22 / 25 » Synthesising verified access control systems in XACML |
PAMI
2007
13 years 8 months ago
2007
—Conventional verification systems, such as those controlling access to a secure room, do not usually require the user to reauthenticate himself for continued access to the prote...
ITIIS
2008
13 years 8 months ago
2008
WiMAX has been introduced as a competitive alternative for metropolitan broadband wireless access technologies. It is connection oriented and it can provide very high data rates, ...
MSN
2007
Springer
14 years 2 months ago
2007
Springer
We have developed a self-healing key distribution scheme for secure multicast group communications for wireless sensor network environment. We present a strategy for securely distr...
ESOP
2010
Springer
14 years 6 months ago
2010
Springer
Proving software free of security bugs is hard. Languages that ensure that programs correctly enforce their security policies would help, but, to date, no security-typed language h...
CONCUR
2007
Springer
14 years 2 months ago
2007
Springer
Abstract. In the quest for tractable methods for reasoning about concurrent algorithms both rely/guarantee logic and separation logic have made great advances. They both seek to ta...