3115 search results - page 221 / 623 » Synthesizing Secure Protocols |
143
click to vote
CN
2007
15 years 5 months ago
2007
Most users have multiple accounts on the Internet where each account is protected by a password. To avoid the headache in remembering and managing a long list of different and un...
119
click to vote
DSD
2008
IEEE
15 years 12 months ago
2008
IEEE
In this paper, a methodology for generating VHDL descriptions of hardware checkers is presented. It is shown how the methodology can be used to generate on-line checkers of commun...
122
click to vote
PODC
2010
ACM
15 years 5 months ago
2010
ACM
Multiparty computation (MPC) protocols among n parties secure against t active faults are known to exist if and only if
299
click to vote
Lecture Notes
The lecture notes cover the following topics,
Course Overview , Data Communications and Networking Overview , Data Transmission , Transmission Media , Signal Encoding Techniques ...
177
click to vote
CSFW
2005
IEEE
15 years 11 months ago
2005
IEEE
A number of key establishment protocols claim the property of forward secrecy, where the compromise of a longterm key does not result in the compromise of previously computed sess...