曝光台 注意防骗
网曝天猫店富美金盛家居专营店坑蒙拐骗欺诈消费者
Conference, pages 329–334. AFIPS Press, 1979.
http://www.csl.sri.com/neumann/psos.pdf.
[4] D. Ford. Three Mile Island: Thirty Minutes to Meltdown.
Viking Press, 1982. Sensor-related quote reproduced
in ACM SIGSOFT Software Engineering
Notes, 11, 3, 9–10, July 1986.
[5] J. Garman. The bug heard ’round the world. ACM
SIGSOFT Software Engineering Notes, 6(5):3–10,
October 1981.
[6] C.E. Landwehr, A.R. Bull, J.P. McDermott, and
W.S. Choi. A taxonomy of computer program security
flaws, with examples. Technical report, Center
for Secure Information Technology, Information
Technology Division, Naval Research Laboratory,
Washington, D.C., November 1993.
[7] N.G. Leveson. Safeware: System Safety and Computers.
Addison-Wesley, Reading, Massachusetts,
1995.
[8] N.G. Leveson. A new accident model for engineering
safer systems. Safety Science (Elsevier),
42(4):237–270, April 2004.
[9] N.G. Leveson. A systems-theoretic approach to
safety in software-intensive systems. IEEE Trans.
on Dependable and Secure Computing, 1(1), January
2005.
[10] N.G. Leveson and C. Turner. An investigation of the
Therac-25 accidents. Computer, pages 18–41, July
1993.
[11] R. Mercuri. Electronic Vote Tabulation Checks
and Balances. PhD thesis, Department of Computer
Science, University of Pennsylvania, 2001.
http://www.notablesoftware.com/evote.html.
[12] P.G. Neumann. Illustrative risks to the public
in the use of computer systems and related technology,
index to RISKS cases. Technical report,
Computer Science Laboratory, SRI International,
Menlo Park, California. Updated regularly
at http://www.csl.sri.com/neumann/illustrative.html;
also in .ps and .pdf form for printing in a denser format.
[13] P.G. Neumann. Computer-Related Risks. ACM
Press, New York, and Addison-Wesley, Reading,
Massachusetts, 1995.
[14] P.G. Neumann. Principled assuredly trustworthy
composable architectures. Technical report,
Computer Science Laboratory, SRI International,
Menlo Park, California, December 2004.
http://www.csl.sri.com/neumann/chats4.html, .pdf,
and .ps.
[15] P.G. Neumann. System and network trustworthiness
in perspective. In Proceedings of the Thirteenth
ACM Conference on Computer and Communications
Security (CCS), Alexandria, Virginia, November
2006.
[16] P.G. Neumann, R.S. Boyer, R.J. Feiertag, K.N.
Levitt, and L. Robinson. A Provably Secure Operating
System: The system, its applications, and
proofs. Technical report, Computer Science Laboratory,
SRI International, Menlo Park, California, May
1980. 2nd edition, Report CSL-116.
[17] P.G. Neumann and R.J. Feiertag. PSOS revisited.
In Proceedings of the 19th Annual
Computer Security Applications Conference (ACSAC
2003), Classic Papers section, pages 208–
216, Las Vegas, Nevada, December 2003. IEEE
Computer Society. http://www.acsac.org/ and
http://www.csl.sri.com/neumann/psos03.pdf.
[18] P.G. Neumann and D.B. Parker. A summary of
computer misuse techniques. In Proceedings of
the Twelfth National Computer Security Conference,
pages 396–407, Baltimore, Maryland, 10–13 October
1989. NIST/NCSC.
[19] L. Robinson and K.N. Levitt. Proof techniques
for hierarchically structured programs. Communications
of the ACM, 20(4):271–283, April 1977.
[20] E. Rosen. Vulnerabilities of network control protocols.
ACM SIGSOFT Software Engineering Notes,
6(1):6–8, January 1981.
[21] A. Rubin. Brave New Ballot. Random House, 2006.
[22] K. Tsikpenyuk, B. Chess, and G. McGraw. Seven
pernicious kingdoms: A taxonomy of software security
errors. IEEE Security and Privacy, 3(6),
November-December 2005.
6
ACI - WORLD SAFETY SEMINAR - 2008
National Civil Aviation Agency – Brazil
METHODS TO INCREASE THE RUNWAY SAFETY
LEVEL IN RESTRICTED AIRPORT SITES
Adival Magri Jr.
Airport Planning and Development
Beijing, November 2008
2
Introduction
This presentation cover:
The mission of National Civil Aviation Agency – Brazil (ANAC);
A overview of Air Transportation in Brazil;
The technical studies regarding:
Methodology for define declared distances and Runway End Safety Area
(RESA) applications at São Paulo Congonhas Airport (study developed after
Airbus A320 accident, 17/07/2007) presented at ICAO ADWG/5;
Methodology for Engineered Material Arresting System (EMAS) design and
applications in restricted airport sites (in development) presented at ICAO ADW/6.
METHODS TO INCREASE THE RUNWAY SAFETY LEVEL IN RESTRICTED AIRPORT SITES
中国航空网 www.aero.cn
航空翻译 www.aviation.cn
本文链接地址：
航空资料23(108)
