1843 search results - page 45 / 369 » Securing Class Initialization |
123
click to vote
BALT
2008
15 years 4 months ago
2008
Biomedical research on human subjects often requires a large amount of data to be collected by personal interviews, Internet based questionnaires, lab measurements or by extracting...
106
click to vote
TARK
2007
Springer
15 years 8 months ago
2007
Springer
We introduce (i) a general class of security protocols with private channel as cryptographic primitive and (ii) a probabilistic epistemic logic to express properties of security pr...
106
click to vote
ASIACRYPT
2005
Springer
15 years 7 months ago
2005
Springer
The security of key agreement protocols has traditionally been notoriously hard to establish. In this paper we present a modular approach to the construction of proofs of security ...
113
click to vote
ACISP
2008
Springer
15 years 8 months ago
2008
Springer
In the pre-specified peer model for key agreement, it is assumed that a party knows the identifier of its intended communicating peer when it commences a protocol run. On the oth...
115
click to vote
FSE
1998
Springer
15 years 6 months ago
1998
Springer
In this paper we discuss PRNGs: the mechanisms used by real-world secure systems to generate cryptographic keys, initialization vectors, "random" nonces, and other values...