1323 search results - page 159 / 265 » Updatable Security Views |
124
click to vote
SPW
2000
Springer
15 years 6 months ago
2000
Springer
The underlying belief and knowledge models assumed by various kinds of authentication protocols have been studied for well over 10 years now. On the other hand, the related questio...
130
click to vote
EUROCRYPT
2010
Springer
15 years 5 months ago
2010
Springer
We present a family of verifiable random functions which are provably secure for exponentially-large input spaces under a non-interactive complexity assumption. Prior construction...
143
click to vote
PAISI
2010
Springer
15 years 4 months ago
2010
Springer
We tackle the problem of automatically detecting controversial issues and their subtopics from news articles. We define a controversial issue as a concept that invokes conflicting ...
138
click to vote
ISI
2008
Springer
15 years 2 months ago
2008
Springer
Pervasive information systems give an overview of what digital environments should look like in the future. From a data-centric point of view, traditional databases have to be used...
148
Voted
IFIPTCS
2010
15 years 13 days ago
2010
Abstract. We propose a framework for reasoning about program security building on language-theoretic and coalgebraic concepts. The behaviour of a system is viewed as a mapping from...