최소 단어 이상 선택하여야 합니다.
최대 10 단어까지만 선택 가능합니다.
다음과 같은 기능을 한번의 로그인으로 사용 할 수 있습니다.
NTIS 바로가기Cybernetics and systems analysis, v.58 no.1, 2022년, pp.157 - 163
Letychevskyi, O. O. , Peschanenko, V. S. , Hryniuk, Y. V.
초록이 없습니다.
American Fuzzy Lop. URL: https://lcamtuf.blogspot.com/2014/10/bash-bug-how-we-finally-cracked.html.
Synopsis. URL: https://www.synopsys.com/software-integrity/security-testing/fuzz-testing.html.
Peach. URL: https://medium.com/csg-govtech/lifes-a-peach-fuzzer-how-to-build-and-use-gitlab-s-open-source-protocol-fuzzer-fd78c9caf05e.
Syzkaller. URL: https://github.com/google/syzkaller/blob/master/docs/research.md.
SAGE. URL: https://queue.acm.org/detail.cfm?id=2094081.
Csmith. URL: https://srg.doc.ic.ac.uk/files/papers/compilerbugs-oopsla-19.pdf.
O. O. Letychevskyi, Ya. V. Hryniuk, and V. M. Yakovlev, “Algebraic approach to vulnerability formalization in the binary code,” Control Systems and Computers, No. 6, 5-20 (2019)
10.1007/1-4020-3817-8_10 A. Letichevsky, “Algebra of behavior transformations and its applications,” in: V. B. Kudryavtsev, I. G. Rosenberg, and M. Goldstein (eds.), Structural Theory of Automata, Semigroups, and Universal Algebra; NATO Science Series II: Mathematics, Physics and Chemistry, Vol. 207, Springer, Dordrecht (2005), pp. 241-272.
10.1109/DESSERT.2019.8770033 O. Letychevskyi, V. Peschanenko, V. Radchenko, Y. Hryniuk, and V. Yakovlev, “Algebraic patterns of vulnerabilities in binary code,” in: Proc. of 2019 10th Intern. Conf. on Dependable Systems, Services and Technologies (DESSERT’2019) (Leeds, UK, June 5-7, 2019), IEEE (2019), pp. 70-73.
S. V. Potiyenko, “Methods of forward and backward symbolic modeling of systems specified by basic protocols,” Problems in Programming, No. 4, 39-45 (2008).
10.1007/s10559-010-9229-7 A. A. Letichevsky, A. B. Godlevsky, A. A. Letychevsky Jr, S. V. Potiyenko, and V. S. Peschanenko, “Properties of a predicate transformer of the VRS system,” Cybern. Syst. Analysis, Vol. 46, No. 4, 521-532 (2010). https://doi.org/10.1007/s10559-010-9229-7.
A. Letichevsky, O. Letychevskyi, and V. Peschanenko, “Insertion modeling and its applications,” Computer Science J. of Moldova, Vol. 24, Iss. 3, 357-370 (2016).
*원문 PDF 파일 및 링크정보가 존재하지 않을 경우 KISTI DDS 시스템에서 제공하는 원문복사서비스를 사용할 수 있습니다.
※ AI-Helper는 부적절한 답변을 할 수 있습니다.