Digital Library


Search: "[ keyword: Formal specification ]" (2)
    고신뢰 드론 시스템을 위한 스케줄링 측면에서의 서비스 거부 공격 완화 방안 연구
    곽지원, 강수영, 김승주, Vol. 29, No. 4, pp. 821-834, 8월. 2019
    10.13089/JKIISC.2019.29.5.821
    주제어: High-Assurance, Formal specification, Verification, denial of service, drone system, High-Assurance, Formal specification, Verification, denial of service, drone system

    정형명세 기법을 이용한 보안 프로토콜 코드 생성 도구의 보안 소프트웨어 개발 분석
    장승주, 류대현, 이철수, 박일환, Vol. 14, No. 6, pp. 47-56, 12월. 2004
    10.13089/JKIISC.2004.14.6.47