A security flow control algorithm and its denotational semantics correctness proof (Q115149361)
Jump to navigation
Jump to search
scientific article published in 1992
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A security flow control algorithm and its denotational semantics correctness proof |
scientific article published in 1992 |
Statements
A security flow control algorithm and its denotational semantics correctness proof (English)
1 reference
Masaaki Mizuno
1 reference
David Schmidt
1 reference
November 1992
1 reference
4
1 reference
Suppl 1
1 reference
727-754
1 reference