한국어
LIBRARY
Researchers
Titles
Issue Date
검색
Search
All of ScholarWorks
School of Cyber Security
Department of Information Security
1. Journal Articles
Current filters:
Title
Author
Subject
Date Issued
Type
Language
Journal
Journal Index
Equals
Contains
ID
Not Equals
Not Contains
Not ID
Current filters:
Title
Author
Subject
Date Issued
Type
Language
Journal
Journal Index
Equals
Contains
ID
Not Equals
Not Contains
Not ID
Current filters:
Title
Author
Subject
Date Issued
Type
Language
Journal
Journal Index
Equals
Contains
ID
Not Equals
Not Contains
Not ID
Current filters:
Title
Author
Subject
Date Issued
Type
Language
Journal
Journal Index
Equals
Contains
ID
Not Equals
Not Contains
Not ID
Add filters:
Title
Author
Subject
Date Issued
Type
Language
Journal
Journal Index
Equals
Contains
ID
Not Equals
Not Contains
Not ID
Results/Page
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
Sort items by
Relevance
Title
Issue Date
In order
Ascending
Descending
Authors/record
All
1
5
10
15
20
25
30
35
40
45
50
Results 1-1 of 1 (Search time: 0.007 seconds).
KCI
Cryptol을 이용한 국내 표준 블록 암호 모듈의 자동 정형 검증
최원빈;
김승주
Article
Issue Date
2018
Citation
정보보호학회논문지, v.28, no.1, pp.53 - 60
Publisher
한국정보보호학회
1
Discover
Subject
cryptol
1
formal
1
saw
1
verification
1
Date Issued
2018
1
Type
Article
1
Language
Korean
1
Journal
정보보호학회논문지
1
Journal Index
kci
1
BROWSE
한국어
Researchers
Titles
Issue Date
LIBRARY