고신뢰 드론 시스템을 위한 스케줄링 측면에서의 서비스 거부 공격 완화 방안 연구
Vol. 29, No. 4, pp. 821-834,
8월.
2019
10.13089/JKIISC.2019.29.4.821, Full Text:
Keywords: High-Assurance, Formal specification, Verification, denial of service, drone system
Abstract Statistics
Cite this article
10.13089/JKIISC.2019.29.4.821, Full Text:
Keywords: High-Assurance, Formal specification, Verification, denial of service, drone system
Abstract Statistics
Cite this article
[IEEE Style]
곽지원, 강수영, 김승주, "Study on Highly Reliable Drone System to Mitigate Denial of Service Attack in Terms of Scheduling," Journal of The Korea Institute of Information Security and Cryptology, vol. 29, no. 4, pp. 821-834, 2019. DOI: 10.13089/JKIISC.2019.29.4.821.
[ACM Style]
곽지원, 강수영, and 김승주. 2019. Study on Highly Reliable Drone System to Mitigate Denial of Service Attack in Terms of Scheduling. Journal of The Korea Institute of Information Security and Cryptology, 29, 4, (2019), 821-834. DOI: 10.13089/JKIISC.2019.29.4.821.