756 search results - page 61 / 152 » Modeling Computational Security in Long-Lived Systems |
107
click to vote
HPCA
2005
IEEE
16 years 7 days ago
2005
IEEE
With the increasing concern of the security on high performance multiprocessor enterprise servers, more and more effort is being invested into defending against various kinds of a...
RP
2009
Springer
15 years 6 months ago
2009
Springer
We describe the class of games with opacity condition, as an adequate model for security aspects of computing systems. We study their theoretical properties, relate them to reachab...
114
click to vote
IWCMC
2006
ACM
15 years 5 months ago
2006
ACM
In an era of cooperating ad hoc networks and pervasive wireless connectivity, we are becoming more vulnerable to malicious attacks. Many of these attacks are silent in nature and ...
196
click to vote
POPL
2008
ACM
16 years 5 days ago
2008
ACM
In language-based security, confidentiality and integrity policies conveniently specify the permitted flows of information between different parts of a program with diverse levels...
116
click to vote
ANCS
2009
ACM
14 years 9 months ago
2009
ACM
In this paper, we propose an extensible Open-Architecture Services platform (OASis) for high-performance network processing. OASis embraces recent advances of open technologies, i...