- 期刊
Injecting Heterogeneity through Protocol Randomization
並列摘要
In this paper, we argue that heterogeneity should be an important principle in design and use of cryptographic protocols. We use automated formal analysis tools to randomly generate security protocols as a method of introducing heterogeneity. We present the results of simulations for the case of two party authentication protocols and argue that choosing protocols randomly out of sets numbering in the hundreds of millions is practical and achievable with an acceptable overhead. To realize the simulation, we implemented a highly efficient protocol verifier, achieving approximately two orders of magnitude improvement in performance compared to previous work.
被引用紀錄
Chen, P. Y. (2016). 運用最佳化技術決定多階段網路攻防情境中之防禦資源分配策略以優化系統之存活度 [doctoral dissertation, National Taiwan University]. Airiti Library. https://doi.org/10.6342/NTU201610075
Shih, I. J. (2012). 考量不完全資訊情況下多階段防禦資源分配以及防禦訊息策略選擇演算法以最大化網路存活度 [master's thesis, National Taiwan University]. Airiti Library. https://doi.org/10.6342/NTU.2012.01348
延伸閱讀
- Yang, M. (2017). Highly Scalable Parallelism of Integrated Randomized Singular Value Decomposition with Big Data Applications [master's thesis, National Taiwan University]. Airiti Library. https://doi.org/10.6342/NTU201702960
- Dai, Y. S. (2010). Exploiting Item Heterogeneity for Collaborative Filtering Recommendation [master's thesis, National Tsing Hua University]. Airiti Library. https://www.airitilibrary.com/Article/Detail?DocID=U0016-1901201111410282
- Liu, N. (2006). A study on improving adaptive random testing [master's thesis, The University of Hong Kong]. Airiti Library. https://www.airitilibrary.com/Article/Detail?DocID=U0029-1812201200012903
- 林劭謙（2012）。A research on novel security protocols by integrating heterogeneous communication technologies〔碩士論文，國立臺中科技大學〕。華藝線上圖書館。https://doi.org/10.6826/NUTC.2012.00101
- Chen, S. (2021). Federated Meta-Learning on Data Heterogeneity [master's thesis, National Taiwan University]. Airiti Library. https://doi.org/10.6342/NTU202102362