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

Uloženo v:
Podrobná bibliografie
Vydáno v:Information and Computation Ročník 241; s. 96 - 113
Hlavní autoři: Nowak, David, Zhang, Yu
Médium: Journal Article
Jazyk:japonština
Vydáno: Elsevier BV 01.04.2015
Témata:
[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 přístup:Získat plný text
Tagy: Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
Popis
ISSN:0890-5401
DOI:10.1016/j.ic.2014.10.008