2896 search results - page 450 / 580 » Curricula Modeling and Checking |
134
click to vote
EUROPKI
2007
Springer
15 years 10 months ago
2007
Springer
Time Capsule Signature, first formalized by Dodis and Yum in Financial Cryptography 2005, is a digital signature scheme which allows a signature to bear a (future) time t so that t...
156
click to vote
CAV
2006
Springer
15 years 9 months ago
2006
Springer
Abstract. Many software model checkers are based on predicate abstraction. If the verification goal depends on pointer structures, the approach does not work well, because it is di...
155
click to vote
TAMODIA
2008
15 years 7 months ago
2008
Abstract. The analysis of usability aspects of multi-user systems, such as cooperative work systems and pervasive systems, pose particular problems because group behavior of their ...
172
click to vote
JCP
2006
15 years 6 months ago
2006
Trust models provide a framework to create and manage trust relationships among the different entities of a Public Key Infrastructure (PKI). These trust relationships are verified ...
172
click to vote
LOGCOM
2008
15 years 6 months ago
2008
The Sum-and-Product riddle was first published in [Fre69]. We provide an overview on the history of the dissemination of this riddle through the academic and puzzle-math community...