- HOME
- 기술정보
- 특허
특허
특허/실용신안
SYSTEM AND METHOD FOR STATIC DETECTION AND CATEGORIZATION OF INFORMATION-FLOW DOWNGRADERS
특허 실용신안 개요
| 기관명 | NDSL |
|---|---|
| 출원인 | Haviv, Yinnon |
| 출원번호 | US-0015960 |
| 출원일자 | 2016-02-04 |
| 공개번호 | 20160603 |
| 공개일자 | 0000-00-00 |
| 등록번호 | |
| 등록일자 | 0000-00-00 |
| 권리구분 | USAP |
| 초록 | A system and method for static detection and categorization of information-flow downgraders includes transforming a program stored in a memory device by statically analyzing program variables to yield a single assignment to each variable in an instruction set. The instruction set is translated to production rules with string operations. A context-free grammar is generated from the production rules to identify a finite set of strings. An information-flow downgrader function is identified by checking the finite set of strings against one or more function specifications. |
| 원문URL | http://click.ndsl.kr/servlet/OpenAPIDetailView?keyValue=03553784&target=USAP&cn=USA2016060156650 |
| 첨부파일 |
추가정보
| 과학기술표준분류 | |
|---|---|
| ICT 기술분류 | |
| IPC분류체계CODE | |
| 주제어 (키워드) |