Critical Infrastructures Security Modeling, Enforcement and Runtime Checking.

Anas Abou El Kalam Yves Deswarte Critical Infrastructures Security Modeling, Enforcement and Runtime Checking. 95-108 2008 CRITIS http://dx.doi.org/10.1007/978-3-642-03552-4_9 conf/critis/2008 db/conf/critis/critis2008.html#KalamD08