Formal security proofs with minimal fuss: Implicit computational complexity at work

Uložené v:
Podrobná bibliografia
Vydané v:Information and Computation Ročník 241; s. 96 - 113
Hlavní autori: Nowak, David, Zhang, Yu
Médium: Journal Article
Jazyk:Japanese
Vydavateľské údaje: Elsevier BV 01.04.2015
Predmet:
[INFO.INFO-CC]Computer Science [cs]/Computational Complexity [cs.CC]
[INFO.INFO-CR]Computer Science [cs]/Cryptography and Security [cs.CR]
[INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]
[INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL]
cryptography
lambda-calculus
probabilistic computation
safe recursion
ISSN:0890-5401
On-line prístup:Získať plný text
Tagy: Pridať tag
Žiadne tagy, Buďte prvý, kto otaguje tento záznam!
Popis
ISSN:0890-5401
DOI:10.1016/j.ic.2014.10.008