5119 search results - page 266 / 1024 » Security Privacy |
194
click to vote
CCS
2005
ACM
15 years 11 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...
176
click to vote
IEEEARES
2009
IEEE
16 years 1 months ago
2009
IEEE
—The security assessment of the ICT components of critical infrastructures is nowadays a prominent problem. Risk assessment methodologies require, in order to be effective, to be...
152
click to vote
IEEEARES
2007
IEEE
16 years 17 days ago
2007
IEEE
We present an analysis of security vulnerabilities in the Domain Name System (DNS) and the DNS Security Extensions (DNSSEC). DNS data that is provided by name servers lacks suppor...
164
click to vote
IEEEARES
2007
IEEE
16 years 17 days ago
2007
IEEE
Adding security functions in existing Web application servers is now vital for the IS of companies and organizations. Writing crosscutting functions in complex software should tak...
140
click to vote
CSFW
2006
IEEE
16 years 10 days ago
2006
IEEE
The problem of information flow in multithreaded programs remains an important open challenge. Existing approaches to specifying and enforcing information-flow security often su...