739 search results - page 52 / 148 » Security Analysis of IEEE 802.16 |
164
click to vote
COMPSAC
2009
IEEE
16 years 26 days ago
2009
IEEE
As computing technology becomes increasingly pervasive and interconnected, mobility leads to shorter-lasting relationships between end-points with many different security requirem...
156
click to vote
CSFW
2005
IEEE
15 years 11 months ago
2005
IEEE
This paper introduces the use of static information flow analysis for the specification and enforcement of end-toend availability policies in programs. We generalize the decentr...
210
click to vote
CSFW
1997
IEEE
15 years 10 months ago
1997
IEEE
This paper presents a general approach for analysis and veri cation of authentication properties in the language of Communicating Sequential Processes (CSP). It is illustrated by ...
137
click to vote
ACSAC
2005
IEEE
15 years 11 months ago
2005
IEEE
IP networks fundamentally rely on the Address Resolution Protocol (ARP) for proper operation. Unfortunately, vulnerabilities in the ARP protocol enable a raft of IP-based imperson...
175
click to vote
ACSAC
2009
IEEE
16 years 28 days ago
2009
IEEE
—Malicious software is rampant on the Internet and costs billions of dollars each year. Safe and thorough analysis of malware is key to protecting vulnerable systems and cleaning...