By Bhargavan Karthikeyan   Gunter Carl   in Formal Methods in System Design

ISSN:0925-9856|27|3|213-251

Springer Publishing Company ‎(2005)‎

Access to resources Favorite 13.052091

By Zhang Jianqing   Gunter Carl A.   in International Journal of Security and Networks

ISSN:1747-8405|6|1|40-52

Inderscience Publishers‎(2011)‎

Access to resources Favorite 12.235933