5119 search results - page 399 / 1024 » Security Privacy |
205
Voted
CSFW
1995
IEEE
15 years 10 months ago
1995
IEEE
We discuss the issues involved in modelling and verifying key-exchange protocols within the framework of CSP and its model-checking tool FDR. Expressing such protocols within a pr...
170
click to vote
OOPSLA
1991
Springer
15 years 10 months ago
1991
Springer
We present a new approach to inferring types in untyped object-oriented programs with inheritance, assignments, and late binding. It guarantees that all messages are understood, a...
183
click to vote
ESORICS
2008
Springer
15 years 8 months ago
2008
Springer
The UML is the de facto standard for system specification, but offers little specialized support for the specification and analysis of policies. This paper presents Deontic STAIRS,...
164
click to vote
ESORICS
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. We propose a novel approach for quantifying a system's resistance to unknown-message side-channel attacks. The approach is based on a measure of the secret informati...
165
click to vote
ISI
2008
Springer
15 years 6 months ago
2008
Springer
Web forums provide platforms for any Internet users around the world to communicate with each other and express their opinions. In many of the discussions in Web Forums, it involve...