http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.
변환된 중국어를 복사하여 사용하시면 됩니다.
- 中文 을 입력하시려면 zhongwen을 입력하시고 space를누르시면됩니다.
- 北京 을 입력하시려면 beijing을 입력하시고 space를 누르시면 됩니다.
RISS 인기검색어
- 검색키워드
- 저자 : Xuejia Lai (검색결과 4 건)
- 무료
- 기관 내 무료
- 유료
-
Research on the Security Level of μ2 against Impossible Differential cryptanalysis
Kai Zhang,Xuejia Lai,Jie Guan,Bin Hu 한국인터넷정보학회 2022 KSII Transactions on Internet and Information Syst Vol.16 No.3
In the year 2020, a new lightweight block cipher μ2 is proposed. It has both good software and hardware performance, and it is especially suitable for constrained resource environment. However, the security evaluation on μ2 against impossible differential cryptanalysis seems missing from the specification. To fill this gap, an impossible differential cryptanalysis on μ2 is proposed. In this paper, firstly, some cryptographic properties on μ2 are proposed. Then several longest 7-round impossible differential distinguishers are constructed. Finally, an impossible differential cryptanalysis on μ2 reduced to 10 rounds is proposed based on the constructed distinguishers. The time complexity for the attack is about 269.63 10-round μ2 encryptions, the data complexity is O(248), and the memory complexity is 263.57 Bytes. The reported result indicates that μ2 reduced to 10 rounds can’t resist against impossible differential cryptanalysis.
-
Security Analysis of Cryptographic Protocols Based on Trusted Freshness
Kefei Chen,Ling Dong,Xuejia Lai 한국정보보호학회 2008 정보보호학회논문지 Vol.18 No.b6
A novel idea of protocol security analysis is presented based on trusted freshness. The idea has been implemented not only by hand but also by a belief multisets formalism for automation. The key of the security analysis based on trusted freshness is a freshness principle: for each participant of a cryptographic protocol, the security of the protocol depends only on the sent or received one-way transformation of a message, which includes a trusted freshness. The manual security analysis method and the belief multisets formalism are all established on the basis of the freshness principle. Security analysis based on trusted freshness can efficiently distinguish whether a message is fresh or not, and the analysis results suggest the correctness of a protocol convincingly or the way to construct attacks intuitively from the absence of security properties. Furthermore, the security analysis based on trusted freshness is independent of the idealization of a protocol the concrete formalization of attackers' possible behaviors, and the formalization of concurrent runs of protocols.
-
Security Analysis of Cryptographic Protocols Based on Trusted Freshness
Kefei Chen,Ling Dong,Xuejia Lai 한국정보보호학회 2008 정보보호학회논문지 Vol.18 No.6
A novel idea of protocol security analysis is presented based on trusted freshness. The idea has been implemented not only by hand but also by a belief multisets formalism for automation. The key of the security analysis based on trusted freshness is a freshness principle: for each participant of a cryptographic protocol, the security of the protocol depends only on the sent or received one-way transformation of a message, which includes a trusted freshness. The manual security analysis method and the belief multisets formalism are all established on the basis of the freshness principle. Security analysis based on trusted freshness can efficiently distinguish whether a message is fresh or not, and the analysis results suggest the correctness of a protocol convincingly or the way to construct attacks intuitively from the absence of security properties. Furthermore, the security analysis based on trusted freshness is independent of the idealization of a protocol, the concrete formalization of attackers' possible behaviors, and the formalization of concurrent runs of protocols.
-
Security Analysis of Cryptographic Protocols Based on Trusted Freshness
Chen, Kefei,Dong, Ling,Lai, Xuejia Korea Institute of Information Security and Crypto 2008 정보보호학회논문지 Vol.18 No.b6
A novel idea of protocol security analysis is presented based on trusted freshness. The idea has been implemented not only by hand but also by a belief muitisets formalism for automation. The key of the security analysis based on trusted freshness is a freshness principle: for each participant of a cryptographic protocol, the security of the protocol depends only on the sent or received one-way transformation of a message, which includes a trusted freshness. The manual security analysis method and the belief multisets formalism are all established on the basis of the freshness principle. Security analysis based on trusted freshness can efficiently distinguish whether a message is fresh or not, and the analysis results suggest the correctness of a protocol convincingly or the way to construct attacks intuitively from the absence of security properties. Furthermore, the security analysis based on trusted freshness is independent of the idealization of a protocol, the concrete formalization of attackers' possible behaviors, and the formalization of concurrent runs of protocols.
ScienceON
KISS연관 검색어 추천
이 검색어로 많이 본 자료
활용도 높은 자료
