Semantics and program analysis of computationally secure information flow

Laud, P. (2001). Semantics and program analysis of computationally secure information flow. Programming Languages and Systems, Proceedings, 2028, 77−91.
ajakirjaartikkel
Laud, P.
  • Inglise
Programming Languages and Systems, Proceedings
Springer-Verlag Berlin
0302-9743
2028
2001
7791
15
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

Lisainfo

Article
ISI Web of Science