-
公开(公告)号：WO2022182185A1
公开(公告)日：2022-09-01
申请号：PCT/KR2022/002759
申请日：2022-02-25
Applicant: 고려대학교 산학협력단
Abstract: 프로그램 분석 장치 및 방법에 관한 것으로, 프로그램 분석 장치는 복수의 분석식 중 적어도 하나의 분석식에 대해서 하향식 처리 및 상향식 처리 중 어느 하나를 선택하는 선택부, 상기 선택부가 하향식 처리를 선택하는 경우, 이에 응하여 제1 학습 알고리즘을 기반으로 상기 적어도 하나의 분석식에 대한 하향식 처리를 수행하여 적어도 하나의 제1 학습된 분석식을 획득하는 제1 학습부 및 상기 선택부가 상향식 처리를 선택하는 경우, 이에 응하여 제2 학습 알고리즘을 기반으로 상기 적어도 하나의 분석식에 대한 하향식 처리를 수행하여 적어도 하나의 제2 학습된 분석식을 획득하는 제2 학습부를 포함할 수 있다.
-
公开(公告)号：WO2022102879A1
公开(公告)日：2022-05-19
申请号：PCT/KR2021/004271
申请日：2021-04-06
Applicant: 고려대학교 산학협력단
IPC: G06F11/36
Abstract: 취약 트랜잭션 시퀀스 획득 장치 및 방법에 관한 것으로, 취약 트랜잭션 시퀀스 획득 장치는, 적어도 하나의 프로그램을 일시적 또는 비일시적으로 저장하는 저장부 및 상기 적어도 하나의 프로그램을 수신하고, 비용 함수를 이용하여, 적어도 하나의 프로그램 내에서의 취약 트랜잭션 시퀀스 후보를 선정하고, 상기 트랜잭션 시퀀스 후보에 대해 기호 실행을 수행하여 검증 조건을 획득하고, 상기 검증 조건에 대한 검증 결과, 취약 트랜잭션 시퀀스가 발견되지 않은 경우 검증 조건의 만족 여부를 확인하고, 검증 조건이 만족되면 상기 취약 트랜잭션 시퀀스 후보를 취약 트랜잭션 시퀀스로 결정하는 프로세서를 포함할 수 있다.
-
公开(公告)号：KR102057724B1
公开(公告)日：2019-12-19
申请号：KR1020180059843
申请日：2018-05-25
Applicant: 고려대학교 산학협력단
IPC: G06F11/07
-
公开(公告)号：KR102028665B1
公开(公告)日：2019-10-04
申请号：KR1020170057043
申请日：2017-05-04
Applicant: 고려대학교 산학협력단
IPC: G06F11/36
-
-
-
Search Results
4
records
(took 0.018 seconds)
