Process algebra and non-interference

Author: Ryan P.Y.A.  

Publisher: Ios Press

ISSN: 0926-227X

Source: Journal of Computer Security, Vol.9, Iss.1-2, 2001-01, pp. : 75-103

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Abstract