-
141Έκδοση 2006Πίνακας περιεχομένων: “… -- Resource Fairness and Composability of Cryptographic Protocols -- One-Way Functions and Friends -- Finding…”
Full Text via HEAL-Link
Ηλεκτρονική πηγή Ηλ. βιβλίο -
142Έκδοση 2006Πίνακας περιεχομένων: “…-Verifiable Voting with Everlasting Privacy -- Cryptographic Protocols for Electronic Voting -- Asymptotically…”
Full Text via HEAL-Link
Ηλεκτρονική πηγή Ηλ. βιβλίο -
143Έκδοση 2010Πίνακας περιεχομένων: “… for Cryptographic Protocols -- Credential Chain Discovery in RTT Trust Management Language -- Genetic Optimization…”
Full Text via HEAL-Link
Ηλεκτρονική πηγή Ηλ. βιβλίο -
144Έκδοση 2005Πίνακας περιεχομένων: “… -- Is the Verification Problem for Cryptographic Protocols Solved? -- Secure Sessions from Weak Secrets -- Secure…”
Full Text via HEAL-Link
Ηλεκτρονική πηγή Ηλ. βιβλίο -
145Έκδοση 2007Πίνακας περιεχομένων: “… Producing Checkable Proofs -- Matching in Hybrid Terminologies -- Verifying Cryptographic Protocols…”
Full Text via HEAL-Link
Ηλεκτρονική πηγή Ηλ. βιβλίο -
146Έκδοση 2003Πίνακας περιεχομένων: “… -- Security and Cryptography -- A New Knowledge Representation Strategy for Cryptographic Protocol Analysis…”
Full Text via HEAL-Link
Ηλεκτρονική πηγή Ηλ. βιβλίο -
147Έκδοση 2006Πίνακας περιεχομένων: “… of a Braid Group Based Cryptographic Protocol -- High-Order Attacks Against the Exponent Splitting…”
Full Text via HEAL-Link
Ηλεκτρονική πηγή Ηλ. βιβλίο -
148
-
149Έκδοση 2001Πίνακας περιεχομένων: “… for Simultaneous Auctions -- Optimality and Risk in Purchase from Multiple Auctions -- Cryptographic Protocols…”
Full Text via HEAL-Link
Ηλεκτρονική πηγή Ηλ. βιβλίο -
150Έκδοση 2003Πίνακας περιεχομένων: “… Computation -- Cryptographic Protocols -- Distributed RSA Signature Schemes for General Access Structures…”
Full Text via HEAL-Link
Ηλεκτρονική πηγή Ηλ. βιβλίο -
151Έκδοση 1999Πίνακας περιεχομένων: “… -- An Automated Analysis of Ping-Pong Interactions in E-Mail Services -- Automatic Verification of Cryptographic…”
Full Text via HEAL-Link
Ηλεκτρονική πηγή Ηλ. βιβλίο -
152Έκδοση 1997Πίνακας περιεχομένων: “… in Isabelle/HOL -- A proof obligation generator for VDM-SL -- Verification of cryptographic protocols…”
Full Text via HEAL-Link
Ηλεκτρονική πηγή Ηλ. βιβλίο -
153Έκδοση 2010Πίνακας περιεχομένων: “… -- Cryptographic Protocols Analysis in Event B -- A Query Language for Logic Architectures -- Planet Map Generation…”
Full Text via HEAL-Link
Ηλεκτρονική πηγή Ηλ. βιβλίο -
154Έκδοση 2007Πίνακας περιεχομένων: “… -- Cryptographic Protocols -- A New Protocol for Conditional Disclosure of Secrets and Its Applications…”
Full Text via HEAL-Link
Ηλεκτρονική πηγή Ηλ. βιβλίο -
155Έκδοση 2007Πίνακας περιεχομένων: “… Rijndael -- High-Speed Pipelined Hardware Architecture for Galois Counter Mode -- Cryptographic Protocols…”
Full Text via HEAL-Link
Ηλεκτρονική πηγή Ηλ. βιβλίο -
156Έκδοση 2008Πίνακας περιεχομένων: “… Camellia and MISTY1 -- Small Secret Key Attack on a Variant of RSA (Due to Takagi) -- Cryptographic…”
Full Text via HEAL-Link
Ηλεκτρονική πηγή Ηλ. βιβλίο -
157Έκδοση 2019Πίνακας περιεχομένων: “… Automated Application-Specific Software Stacks -- Cryptographic Protocols -- Identity-Based Encryption…”
Full Text via HEAL-Link
Ηλεκτρονική πηγή Ηλ. βιβλίο -
158Έκδοση 2009Πίνακας περιεχομένων: “… for Collaborative Map Handling -- Collaborative Learning -- Cooperative Model Reconstruction for Cryptographic…”
Full Text via HEAL-Link
Ηλεκτρονική πηγή Ηλ. βιβλίο -
159
-
160Έκδοση 2005Πίνακας περιεχομένων: “… -- Secure Protocols for Complex Tasks in Complex Environments -- Cryptographic Protocols -- Tripartite Key…”
Full Text via HEAL-Link
Ηλεκτρονική πηγή Ηλ. βιβλίο