ePubs
The open archive for STFC research publications
Home
About ePubs
Content Policies
News
Help
Privacy/Cookies
Suggest an Enhancement
Contact ePubs
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
Contributors
Syed Naqvi
,
Alvaro E Arenas
,
Christophe Ponsard
,
Brian Matthews
,
Philippe Massonet
Abstract
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
Showing record 1 of 1
Recent Additions
Browse Organisations
Browse Journals/Series
Login to add & manage publications and access information for OA publishing
Username:
Password:
Useful Links
Chadwick & RAL Libraries
SHERPA FACT
SHERPA RoMEO
SHERPA JULIET
Journal Checker Tool
Google Scholar