2043 search results - page 107 / 409 » Reasoning About Security Models |
151
click to vote
ACIIDS
2010
IEEE
15 years 3 months ago
2010
IEEE
The environments in which ambient agents are used often may be described by dynamical models, for example in the form of a set of differential equations. In this paper an ambient a...
170
Voted
EUROCRYPT
2006
Springer
15 years 8 months ago
2006
Springer
We show that, in the ideal-cipher model, triple encryption (the cascade of three independently-keyed blockciphers) is more secure than single or double encryption, thereby resolvin...
118
click to vote
ENTCS
2007
15 years 5 months ago
2007
Spatial messaging is a term that defines the virtual publication of data in physical places. Generally, anyone in the neighborhood of such a publication point gets the message. F...
144
click to vote
AINA
2007
IEEE
15 years 11 months ago
2007
IEEE
The random oracle model is an idealized theoretical model that has been successfully used for designing many cryptographic algorithms and protocols. Unfortunately, a series of res...
168
Voted
OOPSLA
2007
Springer
15 years 11 months ago
2007
Springer
In runtime monitoring, a programmer specifies a piece of code to execute when a trace of events occurs during program execution. Previous and related work has shown that runtime m...