2043 search results - page 327 / 409 » Reasoning About Security Models |
119
Voted
CRYPTO
2006
Springer
15 years 4 months ago
2006
Springer
We present the first universally verifiable voting scheme that can be based on a general assumption (existence of a non-interactive commitment scheme). Our scheme is also the first...
116
click to vote
FC
1997
Springer
15 years 4 months ago
1997
Springer
Existing software proposals for electronic payments can be divided into "on-line" schemes that require participation of a trusted party (the bank) in every transaction an...
125
Voted
ALIFE
2006
15 years 21 days ago
2006
We review the applications of artificial life (ALife), the creation of synthetic life on computers to study, simulate, and understand living systems. The definition and features of...
129
click to vote
FMICS
2007
Springer
15 years 6 months ago
2007
Springer
Message passing using libraries implementing the Message Passing Interface (MPI) standard is the dominant communication mechanism in high performance computing (HPC) applications. ...
PROVSEC
2009
Springer
15 years 7 months ago
2009
Springer
Private inference control enables simultaneous enforcement of inference control and protection of users’ query privacy. Private inference control is a useful tool for database ap...