3420 search results - page 129 / 684 » A Language-Based Approach to Security |
130
click to vote
SP
2010
IEEE
15 years 7 months ago
2010
IEEE
— Virtualization is being widely adopted in today’s computing systems. Its unique security advantages in isolating and introspecting commodity OSes as virtual machines (VMs) ha...
169
click to vote
ASPLOS
2008
ACM
15 years 5 months ago
2008
ACM
Commodity operating systems entrusted with securing sensitive data are remarkably large and complex, and consequently, frequently prone to compromise. To address this limitation, ...
164
click to vote
COMPSAC
2010
IEEE
15 years 19 days ago
2010
IEEE
Security analysis methods can provide correct yet meaningless results if the assumptions underlying the model do not conform to reality. We present an approach to analyze the secur...
142
click to vote
ACSAC
2002
IEEE
15 years 9 months ago
2002
IEEE
Secure computer systems use both mandatory and discretionary access controls to restrict the flow of information through legitimate communication channels such as files, shared ...
247
click to vote
SACMAT
2011
ACM
14 years 6 months ago
2011
ACM
Information leakage via the networks formed by subjects (e.g., Facebook, Twitter) and objects (e.g., blogosphere) − some of whom may be controlled by malicious insiders − ofte...