Semantic models for the security of sequential and concurrent programs
By: Andrei Sabelfeld
Contributors: Göteborgs universitet
Publisher: Dept. of Computing Science, Göteburg Univ.
Published: 2001
Place of publication: Göteborg
Language: eng
Number of pages: 149
Notes: Thesis (doctoral)--Göteborg University, 2001.