837 search results - page 113 / 168 » Rewriting-Based Access Control Policies |
106
Voted
ESOP
2005
Springer
15 years 6 months ago
2005
Springer
Are computing systems trustworthy? To answer this, we need to know three things: what the systems are supposed to do, what they are not supposed to do, and what they actually do. A...
139
Voted
CODES
2005
IEEE
15 years 6 months ago
2005
IEEE
The growing number of information security breaches in electronic and computing systems calls for new design paradigms that consider security as a primary design objective. This i...
99
Voted
SIGCOMM
2009
ACM
15 years 7 months ago
2009
ACM
Business and economic considerations are driving the extensive use of service differentiation in Virtual Private Networks (VPNs) operated for business enterprises today. The resul...
108
Voted
USS
2008
15 years 2 months ago
2008
In this paper, we present an approach for verifying that trusted programs correctly enforce system security goals when deployed. A trusted program is trusted to only perform safe ...
138
Voted
INFOCOM
2008
IEEE
15 years 7 months ago
2008
IEEE
Abstract—Motivated by the increasing usage of wireless broadcast networks for multicast real-time applications like video, this paper considers a canonical real-time multicast sc...