about
Itachi's Blog
首页
归档
关于
订阅
about
本人就读于武汉大学国家网络安全学院,目前在攻读博士学位。
研究领域为:安全协议分析。
本人联系方式:
邮箱:1017470887@qq.com
欢迎和我交流。
分类
函数式编程
安全协议
实验配置
形式化
标签
Haskell
lambda演算
Ubuntu
tamarin
形式化
TLS
最近文章
Ubuntu server命令行配置SS全局代理
【第七章】终章,Lambda演算建模程序即证明!
【第六章】Lambda演算的类型
【第五章】从Lambda演算到组合子演算
【第四章】为什么是Y?
【第三章】Lambda演算中的布尔值和选择
【第二章】阿隆佐.丘奇的天才之作——lambda演算中的数字
【第一章】我的最爱Lambda演算
tamarin Built-in message theories
Haskell介绍
友情链接
珞珈之戍
zhangtong16