Secure Information Flow as Typed Process Behaviour

Honda K, Vasconcelos V, Yoshida N
2000
Chapter
ISSN:
0302-9743
Book Title:
Programming Languages and Systems
Volume:
1782
,
Springer Nature
,
pp.
180 - 199
No abstract available
Keywords:

4613 Theory Of Computation

,

46 Information and Computing Sciences

DOI
10.1007/3-540-46425-5_12