The open archive for STFC research publications

Full Record Details

Persistent URL http://purl.org/net/epubs/work/42598
Record Status Checked
Record Id 42598
Title New Research Dimensions for the Formal Analysis of Critical Information Infrastructures Security Requirements
Organisation CCLRC , ESC , ESC-IM
Keywords grids , security , formal analysis
Funding Information
Related Research Object(s):
Licence Information:
Language English (EN)
Type Details URI(s) Local file(s) Year
Paper In Conference Proceedings In Future Security - 2nd Fraunhofer Security Conference, Karlsruhe, Germany, 12-14 Sep 2007, (2007). NAQVI_FhG_Future_…osium_2007_final.pdf 2007