5255 search results - page 385 / 1051 » Formal Methods for Privacy |
154
click to vote
ESORICS
2000
Springer
15 years 8 months ago
2000
Springer
Abstract. This paper presents an approach enabling a smart card issuer to verify that a new applet securely interacts with already downloaded applets. A security policy has been de...
163
click to vote
ACSAC
1997
IEEE
15 years 8 months ago
1997
IEEE
We study methods for reducing the cost of secure link state routing. In secure link state routing, routers may need to verify the authenticity of many routing updates, and some ro...
136
click to vote
OOPSLA
2000
Springer
15 years 8 months ago
2000
Springer
It is essential for security to be able to isolate mistrusting programs from one another, and to protect the host platform from programs. Isolation is difficult in object-oriented...
126
click to vote
SAFECOMP
2000
Springer
15 years 8 months ago
2000
Springer
Abstract. Simulation-based Fault Injection in VHDL descriptions is increasingly common due to the popularity of top-down design flows exploiting this language. This paper presents ...
148
click to vote
EUROISI
2008
15 years 6 months ago
2008
This paper presents an application of information theory to identify sets of key players in social networks. First, we define two entropy measures that we use to analyze the struct...