![](/images/ico/ico_close.png)
![](/images/ico/ico5.png)
Author: Zheng Lantian Myers Andrew
Publisher: Springer Publishing Company
ISSN: 1615-5262
Source: International Journal of Information Security (IJIS), Vol.6, Iss.2-3, 2007-03, pp. : 67-84
Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.
Related content
![](/images/ico/ico_close.png)
![](/images/ico/ico5.png)
![](/images/ico/ico_close.png)
![](/images/ico/ico5.png)
![](/images/ico/ico_close.png)
![](/images/ico/ico5.png)
![](/images/ico/ico_close.png)
![](/images/ico/ico5.png)
![](/images/ico/ico_close.png)
![](/images/ico/ico5.png)
Model checking security properties of control flow graphs
By Besson F.
Journal of Computer Security, Vol. 9, Iss. 3, 2001-01 ,pp. :