A type system for computationally secure information flow

Laud, P.; Vene, V. (2005). A type system for computationally secure information flow. Fundamentals of Computation Theory : 15th International Symposium, FCT 2005, Lübeck, Germany, August 17-20, 2005, Proceedings. Ed. Liskiewicz,M. Reischuk,R. Berlin: Springer, 365−377. (Lecture Notes in Computer Science; 3623).110.1007/11537311_32.
publitseeritud konverentsiettekanne
Laud, P.; Vene, V.
  • Inglise
Fundamentals of Computation Theory : 15th International Symposium, FCT 2005, Lübeck, Germany, August 17-20, 2005, Proceedings
Liskiewicz,M. Reischuk,R.
Berlin
Springer
0302-9743
3-540-28193-2
Lecture Notes in Computer Science
3623
2005
365377
Ilmunud
1.1. Teadusartiklid, mis on kajastatud Web of Science andmebaasides Science Citation Index Expanded, Social Sciences Citation Index, Arts & Humanities Citation Index ja/või andmebaasis Scopus (v.a. kogumikud)
WOS

Viited terviktekstile

dx.doi.org/110.1007/11537311_32

Lisainfo

semantics; cryptography;
ISI Web of Science [ISI:000233547100032]; ISI Proceedings; Inspec; Scopus