1134 search results - page 53 / 227 » Distributed Proving in Access-Control Systems |
120
click to vote
ESOP
2010
Springer
16 years 16 days 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...
120
click to vote
JCM
2006
15 years 3 months ago
2006
In this paper, we introduce a novel medium access control (MAC) protocol for Radio Frequency Identification (RFID) systems. This protocol exploits the Markov Chain Model of Slotted...
120
click to vote
SISW
2005
IEEE
15 years 8 months ago
2005
IEEE
Traditional storage systems have considered security as a problem to be solved at the perimeter: once a user is authenticated, each device internal to the system trusts the decisi...
107
click to vote
NDSS
2009
IEEE
15 years 10 months ago
2009
IEEE
Host compromise is a serious computer security problem today. To better protect hosts, several Mandatory Access Control systems, such as Security Enhanced Linux (SELinux) and AppA...
131
click to vote
SWS
2004
ACM
15 years 8 months ago
2004
ACM
Through web service technology, distributed applications can be built in a exible manner, bringing tremendous power to applications on the web. However, this exibility poses sig...