1599 search results - page 28 / 320 » Program Analysis for Security and Privacy |
106
Voted
SP
1989
IEEE
15 years 6 months ago
1989
IEEE
In early November 1988 the Internet, a collection of networks consisting of 60,000 host computers implementing the TCP/IP protocol suite, was attacked by a virus, a programwhich b...
100
click to vote
SP
2006
IEEE
15 years 8 months ago
2006
IEEE
We propose PS-LTL, a pure-past security linear temporal logic that allows the specification of a variety of authentication, secrecy and data freshness properties. Furthermore, we...
120
click to vote
DIAU
2000
Springer
15 years 6 months ago
2000
Springer
This paper presents a security analysis of Onion Routing, an application independent infrastructure for tra c-analysis-resistant and anonymous Internet connections. It also includ...
107
click to vote
SAFECOMP
2010
Springer
15 years 8 days ago
2010
Springer
Abstract. With the integration of security-critical services into Building Automation Systems (BAS), the demands on the underlying network technologies increase rapidly. Relying on...
132
click to vote
CSFW
1999
IEEE
15 years 6 months ago
1999
IEEE
Belief-logic deductions are used in the analysis of cryptographic protocols. We show a new method to decide such logics. In addition to the familiar BAN logic, it is also applicab...