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!

Buďte prvý, kto okomentuje tento záznam!