Digital Library
Search: "[ keyword: cryptography ]" (66)
멀티코어 환경에서 효율적인 엔트로피 원의 설계 기법
김성겸,
이승준,
강형철,
홍득조,
성재철,
홍석희,
Vol. 28, No. 1, pp. 61-71,
2월.
2018
10.13089/JKIISC.2018.28.1.61
주제어: cryptography, Entropy, Entropy source, SEI(Source of Entropy Input), DRBG, NRBG, nonce, IoT(Internet of Things), data race condition, cryptography, Entropy, Entropy source, SEI(Source of Entropy Input), DRBG, NRBG, nonce, IoT(Internet of Things), data race condition
![](https://d2kjln74dkk4oj.cloudfront.net/img/doi_icon.png)
주제어: cryptography, Entropy, Entropy source, SEI(Source of Entropy Input), DRBG, NRBG, nonce, IoT(Internet of Things), data race condition, cryptography, Entropy, Entropy source, SEI(Source of Entropy Input), DRBG, NRBG, nonce, IoT(Internet of Things), data race condition
Cryptol을 이용한 국내 표준 블록 암호 모듈의 자동 정형 검증
최원빈,
김승주,
Vol. 28, No. 1, pp. 53-60,
2월.
2018
10.13089/JKIISC.2018.28.1.53
주제어: formal, Verification, cryptography, cryptol, saw, formal, Verification, cryptography, cryptol, saw
![](https://d2kjln74dkk4oj.cloudfront.net/img/doi_icon.png)
주제어: formal, Verification, cryptography, cryptol, saw, formal, Verification, cryptography, cryptol, saw