References
- IAEA, 'Physical Protection of Nuclear Material and Nuclear Facilities,' INFCIRC/225/Rev. 4 (1998).
- C.K. Park, W.S. Jung, J.E. Yang, H.G. Kang, 'A PSA-based Vital Area Identification Methodology Development,' Reliability Engineering & System Safety, 82, 2, pp. 133-140, (2003). https://doi.org/10.1016/S0951-8320(03)00139-X
- C.K. Park, W.S. Jung, J.E. Yang, H.G. Kang, 'Development of a PSA-based Vital Area Identification Methodology for the Physical Security of Nuclear Power Plants,' Proceedings of the 7th International Conference on Probabilistic Safety Assessment and Management, Berlin, Germany, Jun. 12-19 (2004).
- N. Rasmussen, et aI., 'Reactor Safety Study: An Assessment of Accident Risk in U.S. Commercial Nuclear Plants,' WASH-1400, NUREG-75/014, U.S. Nuclear Regulatory Commission (1975).
- D.D. Boozer and R.B. Worrell, 'A Method for Determining the Susceptibility of a Facility to Sensor System Nullification by Insiders,' SAND77-1916C, Feb. (1978).
- G.B. Varnado and N.R. Ortiz, 'Fault Tree Analysis for Vital Area Identification,' NUREG/CR-0809, SAND79-0946, Sandia Labs., USA (1980).
- D.W. Stack and K.A. Francis, 'Vital Area Analysis Using SETS,' NUREG/CR-1487, SNAND80-1095, Sandia Labs., USA (1980).
- J.M. Boudreau and R.A. Haarman, 'Reactor Sabotage Vulnerability and Vital-equipment Identification,' LA-UR-82-2831, Los Alamos National Lab., USA (1982).
- T.F. Bott and W.S. Thomas, 'Reactor Vital Equipment Determination Techniques,' LA-UR-83-3026, Los Alamos National Lab., USA (1983).
- D.F. Cameron, 'Vital Areas at Nuclear Power Plants,' LA-UR-85-558, Los Alamos National Lab., USA (1985).
- P.Y. Pan and T.F. Bott, 'Vital Equipment Determination Techniques Research Study,' NUREG/CP-0058-Vol.6, USA (1985).
- F. Rahn, 'An Approach to Risk-Informed Physical Security, Electric Power Research Institute,' EPRI TR-113787, Oct. (1999).
- R.B. Worrell and D.P. Blanchard, 'Top event Prevention Analysis: A Deterministic Use of PRA,' International Conference on Probabilistic Safety Assessment Methodology and Application, Seoul, Korea, Nov. 26-30 (1995).
- D.P. Blanchard and B.A. Brogan, 'Identification of Risk-significant Circuit Breakers Using Top Event prevention Analysis,' International Topical Meeting on Probabilistic Safety Assessment, Park City, Utah, Sep. 29 - Oct. 3 (1996).
- D.P. Blanchard and R.B. Worrell, 'Top Event Prevention Analysis: A Method for Identifying Combinations of Events Important to Safety,' International Topical Meeting on Probabilistic Safety Assessment. Detroit, Michigan, Oct. 6-9 (2002).
- R.A. White and D.P. Blanchard, 'Development of A Risk-informed IST Program at Palisades Using Top Event Prevention,' Proceedings of ICONE10 10th International Conference on Nuclear Engineering, Arlington, VA, Apr. 14-18 (2002).
- W.S. Jung, S.H. Han, and J.J. Ha, 'A Fast BDD Algorithm for Large Coherent Fault Trees Analysis,' Reliability Engineering and System Safety, 83, pp. 369.374, (2004) https://doi.org/10.1016/j.ress.2003.10.009
- W.S. Jung, S.H. Han, and J.J. Ha, 'Development of an Efficient BDD Algorithm to Solve Large Fault Trees,' Proceedings of the 7th International Conference on Probabilistic Safety Assessment and Management, Berlin, Germany, Jun. 12-19 (2004)
- W.E. Vesely, F.F. Goldberg, N.H. Roberts, and D.F. Haasl, Fault Tree Handbook, NUREG-0492, U.S. Nuclear Regulatory Commission, Washington, DC (1981)
- W. Vesely, J. Dugan, J. Fragola, J. Minarick, and J. Railsback, Fault Tree Handbook with Aerospace Applications, National Aeronautics and Space Administration (2002)
- R.E. Barlow and F. Proschan, Statistical Theory of Reliability and Life Testing, Holt, Rinehart and Winston, Inc., (1975)
- S.H. Han, 'PC-Workstation Based Level 1 PRA Code Package-KIRAP,' Reliability Engineering and System Safety, 30, pp.313-322 (1990). https://doi.org/10.1016/0951-8320(90)90101-R
- W.S. Jung, J.E. Yang, and J.J. Ha, 'Development of measures to estimate truncation error in fault tree analysis,' Reliability Engineering & System Safety, in Press (2005)
- W.S. Jung, S.H. Han, and J.J. Ha, 'Development of an analytical method to break logical loops at the system level,' Reliability Engineering & System Safety, in Press(2005)