Security of Safety Important I&C Systems - Nuclear Power Plant Instrumentation and Control Systems for Safety and Security - page 267

REFERENCES

EPRI TR1019181. (2009). Guidelines on the use
of field programmable gate arrays (FPGAs) in
nuclear power plant I&C systems . Electric Power
Research Institute.

Abrial, J.-R. (2010). Modeling in event-B .
Cambridge, UK: Cambridge University Press.
doi:10.1017/CBO9781139195881

EPRI TR1022983. (2011). Recommended ap-
proaches and design criteria for application of
field programmable gate arrays in nuclear power
plant I&C systems . Electric Power Research In-
stitute.

ANSI/ISA-99.00.01-2007. (2007). Security for
industrial automation and control systems: Ter-
minology, concepts, and models .

ANSI/ISA-99.00.02-2007. (2007). Establishing
an industrial automation and control systems
security program .

GAO-04-321. (2004). Cybersecurity for critical
infrastructure protection . Washington, DC: U.S.
General Accounting Office.

ANSI/ISA-99.00.03-2007. (2007). Operating
an industrial automation and control systems
security program .

Grand, J. (2004). Practical secure hardware design
for embedded systems. In Proceedings of the 2004
Embedded Systems Conference . San Francisco,
CA: Academic Press.

ANSI/ISA-99.00.04-2007. (2007). Specific secu-
rity requirements for industrial automation and
control systems .

Huffmire, T. etal. (2010). Handbook of FPGA de-
sign security . Berlin: Springer. doi:10.1007/978-
90-481-9157-4

ANSI/ISA-99.02.01-2009. (2009). Security for
industrial automation and control systems: Es-
tablishing an industrial automation and control
systems security program .

IAEA. (2011). Computer security at nuclear fa-
cilities: Reference manual: Technical guidance .
Vienna, Austria: IAEA.

ANSI/ISA-TR99.00.01-2007. (2007). Security
technologies for industrial automation and con-
trol systems .

IEC 60880. (2006). Nuclear power plants - In-
strumentation and control systems important to
safety - Software aspects for computer-based
systems performing category A functions. IEC.

Babeshko, E., et al. (2008). Applying F(I)MEA-
technique for SCADA-based industrial control
systems dependability assessment and ensuring.
In Proceedings of International Conference on
Dependability of Computer Systems DepCoS-
RELCOMEX 2008 . Academic Press.

IEC 61513. (2011). Nuclear power plants - In-
strumentation and control important to safety -
General requirements for systems . IEC.

IEC 62138. (2004). Nuclear power plants - In-
strumentation and control important for safety
- Software aspects for computer-based systems
performing category B or C functions. IEC.

Badrignans, B. etal. (2011). Security trends for
FPGAS: From secured to secure reconfigurable
systems . Berlin: Springer. doi:10.1007/978-94-
007-1338-3

IEC 62566. (2010). Nuclear power plants - In-
strumentation and control important to safety
- Hardware language aspects for systems per-
forming category A functions . IEC.

Drimer, S. (2009). Security for volatile FPGAs
(Technical Report N 763). Cambridge, UK:
University of Cambridge Computer Laboratory.