고신뢰 드론 시스템을 위한 스케줄링 측면에서의 서비스 거부 공격 완화 방안 연구

키워드

참고문헌 (50)

1. Adam Greenberg, "Facing Forward : Cyber Security in 2019 and Beyond", FIREEYE, ~ (2018)
4. Grimm, Tomás, "A survey on formal verification techniques for safety-critical systems-on-chip", Electronics, 7(6) (2018)
5. Survey of Existing Tools for Formal Verification, "Robert C. Armstrong", SANDIA, ~
6. Kothari, Suresh, "Modeling lessons from verifying large software systems for safety and security", Proceedings of the 2017 Winter Simulation Conference (2017), IEEE Press
8. Penix, John, "Verification of time partitioning in the DEOS scheduler kernel", Proceedings of the 22nd international conference on Software engineering (2000), ACM
9. Penix, John, "Verifying time partitioning in the DEOS scheduling kernel", Formal Methods in System Design, 26(2), pp.103~135 (2005)
10. Kang, Eunsuk, "Formal modeling and analysis of a flash filesystem in Alloy", International Conference on Abstract State Machines, B and Z (2008), Springer
11. Bornholt, James, "Specifying and checking file system crash-consistency models", ACMSIGARCH Computer Architecture News, 44(2) (2016), ACM
12. Barthe, Gilles, "Formally verifying isolation and availability in an idealized model of virtualization", International Symposium on Formal Methods (2011), Springer
13. Freitas, Leo, "Formal methods for security in the Xenon hypervisor", International journal on software tools for technology transfer, 13(5), pp.463~ (2011)
14. Leinenbach, Dirk, "Verifying the Microsoft Hyper-V hypervisor with VCC", International Symposium on Formal Methods (2009), Springer
15. Klein, Gerwin, "Comprehensive formal verification of an OS microkernel", ACM Transactions on Computer Systems (TOCS), 32(1) (2014)
16. Blackham, Bernard, "Towards verified microkernels for real-time mixed-criticality systems", pp.2013
17. Gu, Ronghui, "CertiKOS: An Extensible Architecture for Building Certified Concurrent {OS} Kernels", 12th {USENIX} Symposium on Operating Systems Design and Implementation ({OSDI} 16) (2016)
18. KleinG, AndronickJ, "seL4 : formal verification of a noperating system kernel", Communication of the Acm, ~ (2010)
19. Hassanalian, Mostafa, "Classifications, applications, and design challenges of drones: A review", Progress in Aerospace Sciences, 91, pp.99~131 (2017)
21. Shostack, Adam, "Threat modeling: Designing for security" (2014), John Wiley & Sons
22. Shostack, Adam, "Experiences Threat Modeling at Microsoft", MODSEC@ MoDELS, ~ (2008)
27. Samland, Fred, "AR. Drone:security threat analysis and exemplary attack to track persons", Intelligent Robots and Computer Vision XXIX:Algorithms and Techniques, 8301 (2012), International Society for Optics and Photonics
28. Rodday, Nils Miro, "Exploring security vulnerabilities of unmanned aerial vehicles", NOMS 2016-2016IEEE, 2016, ~[DOI]
29. Shepard, Daniel P, "Drone hack:Spoofing attack demonstration on a civilian unmanned aerial vehicle", ~ (2012)
30. Rob Kidner, "The security drones report 2017", IFSEC GLOBAL (2017)
31. AIRSPACE SECURITY INSIGHTS REPORT, "911 Security", Dedrone, ~
32. Sarah Ludwig, "Drones: A Security Tool, Threat and Challenge", SecurityMagazine, ~
33. U.S. Department of Transportation, "Unmanned Aircraft System (UAS) Service Demand 2015 – 2035 Literature Review &Projections of Future Usage", ~ (2013)
34. Korea Internet & Security Agency (KISA), "Software Development Security Guide", ~ (2017)
36. Kuperman, Benjamin A., "Detection and prevention of stack buffer overflow attacks", Communications of the ACM (2005)
37. Robertson, William K, "Run-time Detection of Heap-based Overflows", LISA, 3 (2003)
38. Davi, Lucas, "ROPdefender: A detection tool to defend against return-oriented programming attacks", Proceedings of the 6th ACM Symposium on Information, Computer and Communications Security (2011), ACM
39. Wagle, Perry, "Stackguard: Simple stack smash protection for gcc", Proceedings of the GCC Developers Summit (2003)
41. Nakagawa, Gaku, "Fork bomb attack mitigation by process resource quarantine", 2016Fourth International Symposium on Computing and Networking (CANDAR) (2016), IEEE
42. Berlot, Michele, "Dealing with Process Overload Attacks in UNIX", Information Security Journal: A Global Perspective, 17(1), pp.33~44 (2008)
47. J. Woodcock, "The certification of the Mondex electronic purse to ITSEC Level E6", Formal Aspects of Computing, 20 (2008)
48. S. Stepney, "Formal Methods for Industrial Products" (2000), Springer
49. McDermott, "A Formal Security Policy for Xenon", ACM, Conference on Computer and Communications Security, Virginia, pp.43~52 (2008)
50. "Tokeneer ID Station EAL5Demonstrator: Summary Report" (2008)[URL]

관련 논문AI추천