![](/images/ico/ico_close.png)
![](/images/ico/ico3.png)
Period of time: 2002年1期
Publisher: Elsevier
Founded in: 1975
Total resources: 2
ISSN: 0096-0551
Subject: TP Automation Technology , Computer Technology
Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.
Computer Languages,volume 28,issue 1
Menu
![](/images/ico/ico5.png)
Computer languages and security
By Cortesi A., Focardi R. in (2002)
Computer Languages,volume 28,issue 1 , Vol. 28, Iss. 1, 2002-04 , pp.![](/images/ico/ico5.png)
Information flow for Algol-like languages
By Clark D., Hankin C., Hunt S. in (2002)
Computer Languages,volume 28,issue 1 , Vol. 28, Iss. 1, 2002-04 , pp.![](/images/ico/ico5.png)
Orderly communication in the Ambient Calculus
By Amtoft T., Kfoury A.J., Pericas-Geertsen S.M. in (2002)
Computer Languages,volume 28,issue 1 , Vol. 28, Iss. 1, 2002-04 , pp.![](/images/ico/ico5.png)
Behavioural typing for safe ambients
By Bugliesi M., Castagna G. in (2002)
Computer Languages,volume 28,issue 1 , Vol. 28, Iss. 1, 2002-04 , pp.![](/images/ico/ico5.png)
Security boundaries in mobile ambients
By Braghin C., Cortesi A., Focardi R. in (2002)
Computer Languages,volume 28,issue 1 , Vol. 28, Iss. 1, 2002-04 , pp.![](/images/ico/ico5.png)
Distributed call-tracking for security
Computer Languages,volume 28,issue 1 , Vol. 28, Iss. 1, 2002-04 , pp.