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

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	Information and Computation Jg. 241; S. 96 - 113
Hauptverfasser:	Nowak, David, Zhang, Yu
Format:	Journal Article
Sprache:	Japanisch
Veröffentlicht:	Elsevier BV 01.04.2015
Schlagworte:	[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
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Beschreibung
ISSN:	0890-5401
DOI:	10.1016/j.ic.2014.10.008