![](/img/cover-not-exists.png)
Adherence preserving refinement of trace-set properties in STAIRS: exemplified for information flow properties and policies
Fredrik Seehusen, Bjørnar Solhaug, Ketil StølenVolume:
8
Language:
english
Pages:
21
DOI:
10.1007/s10270-008-0102-3
Date:
February, 2009
File:
PDF, 833 KB
english, 2009