1970 search results - page 90 / 394 » Security Without Firewalls |
192
click to vote
IEEEARES
2008
IEEE
16 years 14 days ago
2008
IEEE
In this paper, we present a novel type and effect analysis for detecting memory errors in C source code. We extend the standard C type system with effect, region, and host annotat...
152
click to vote
TCC
2007
Springer
16 years 4 days ago
2007
Springer
We prove a computational soundness theorem for symmetric-key encryption protocols that can be used to analyze security against adaptively corrupting adversaries (that is, adversar...
136
click to vote
CSFW
2006
IEEE
16 years 3 days ago
2006
IEEE
This paper presents an embedded security sublanguage for enforcing information-flow policies in the standard Haskell programming language. The sublanguage provides useful informa...
136
click to vote
CCGRID
2005
IEEE
15 years 11 months ago
2005
IEEE
With the growing popularity of cluster architectures in datacenters and the sophistication of computer attacks, the design of highly secure clusters has recently emerged as a crit...
167
click to vote
SIGOPSE
2004
ACM
15 years 11 months ago
2004
ACM
Secure systems are best built on top of a small trusted operating system: The smaller the operating system, the easier it can be assured or verified for correctness. In this pape...