公开(公告)号：WO2022102879A1

公开(公告)日：2022-05-19

申请号：PCT/KR2021/004271

申请日：2021-04-06

Applicant: 고려대학교 산학협력단

Inventor： 오학주 ,  소순범 ,  홍성준

IPC: G06F11/36

Abstract: 취약 트랜잭션 시퀀스 획득 장치 및 방법에 관한 것으로, 취약 트랜잭션 시퀀스 획득 장치는, 적어도 하나의 프로그램을 일시적 또는 비일시적으로 저장하는 저장부 및 상기 적어도 하나의 프로그램을 수신하고, 비용 함수를 이용하여, 적어도 하나의 프로그램 내에서의 취약 트랜잭션 시퀀스 후보를 선정하고, 상기 트랜잭션 시퀀스 후보에 대해 기호 실행을 수행하여 검증 조건을 획득하고, 상기 검증 조건에 대한 검증 결과, 취약 트랜잭션 시퀀스가 발견되지 않은 경우 검증 조건의 만족 여부를 확인하고, 검증 조건이 만족되면 상기 취약 트랜잭션 시퀀스 후보를 취약 트랜잭션 시퀀스로 결정하는 프로세서를 포함할 수 있다.

公开(公告)号：KR102057724B1

公开(公告)日：2019-12-19

申请号：KR1020180059843

申请日：2018-05-25

Applicant: 고려대학교 산학협력단

Inventor： 이준희 ,  홍성준 ,  오학주

IPC: G06F11/07