409 search results - page 3 / 82 » Flexible Scheduler-Independent Security |
JTAER
2010
13 years 4 months ago
2010
In service-oriented systems a constellation of services cooperate, sharing potentially sensitive information and responsibilities. Cooperation is only possible if the different pa...
IJACTAICIT
2010
13 years 2 months ago
2010
In the e-age, internet and e-affairs are the composite blend of business process and technology; the organization must retain the state of computing system or risk malicious assau...
ENTCS
2000
13 years 5 months ago
2000
The language MSR has successfully been used in the past to prove undecidability about security protocols modeled according to the Dolev-Yao abstraction. In this paper, we revise t...
CCS
2008
ACM
13 years 7 months ago
2008
ACM
Virtual machines are widely accepted as a promising basis for building secure systems. However, while virtual machines offer effective mechanisms to create isolated environments, ...
USENIX
2001
13 years 7 months ago
2001
The protection mechanisms of current mainstream operating systems are inadequate to support confidentiality and integrity requirements for end systems. Mandatory access control (M...