View in EDS PDF Full Text

Non-termination and secure information flow.

Saved in:
Bibliographic Details
Title: Non-termination and secure information flow.
Authors: SMITH, GEOFFREY1, ALPÍZAR, RAFAEL1
Source: Mathematical Structures in Computer Science. Dec2011, Vol. 21 Issue 6, p1183-1205. 23p.
Database: Mathematics Source
Description
ISSN:09601295
DOI:10.1017/S0960129511000181