169 search results - page 26 / 34 » Security policy analysis using deductive spreadsheets |
ACSAC
2006
IEEE
13 years 11 months ago
2006
IEEE
Wireless networking technologies based on the IEEE 802.11 series of standards fail to authenticate management frames and network card addresses and suffer from serious vulnerabili...
SP
1998
IEEE
13 years 11 months ago
1998
IEEE
This paper presents results from analyzing the vulnerability of security-critical software applications to malicious threats and anomalous events using an automated fault injectio...
PET
2007
Springer
14 years 1 months ago
2007
Springer
This paper describes a new attack on the anonymity of web browsing with Tor. The attack tricks a user’s web browser into sending a distinctive signal over the Tor network that ca...
CADE
2008
Springer
14 years 7 months ago
2008
Springer
Confidentiality is maybe the most popular security property to be formally or informally verified. Noninterference is a baseline security policy to formalize confidentiality of sec...
CCS
2007
ACM
14 years 1 months ago
2007
ACM
A Distributed Information Brokering System (DIBS) is a peer-to-peer overlay network that comprises diverse data servers and brokering components helping client queries locate the ...