722 search results - page 70 / 145 » Information Theory and Security: Quantitative Information Fl... |
178
click to vote
ESOP
2010
Springer
15 years 9 months ago
2010
Springer
Language-based information flow methods offer a principled way to enforce strong security properties, but enforcing noninterference is too inflexible for realistic applications. Se...
173
click to vote
DAC
2007
ACM
15 years 10 months ago
2007
ACM
Using FPGAs, a designer can separate the design process from the manufacturing flow. Therefore, the owner of a sensitive design need not expose the design to possible theft and ta...
255
click to vote
POPL
2004
ACM
16 years 6 months ago
2004
ACM
We present in this article a precise security model for data confidentiality in the framework of asynchronous and deterministic objects. Our underlying programming model is based ...
148
click to vote
CCS
2008
ACM
15 years 8 months ago
2008
ACM
Evaluating and enforcing policies in large-scale networks is one of the most challenging and significant problems facing the network security community today. Current solutions ar...
196
click to vote
CCS
2005
ACM
15 years 12 months ago
2005
ACM
We study formal security properties of network-attached storage (NAS) in an applied pi calculus. We model NAS as an implementation of a specification based on traditional central...