首页 /课程 /安全协议与形式化方法

安全协议与形式化方法 Security Protocols and Formal Methods

写点评
网络空间安全学院 专业核心课 2026秋 雁栖湖 3.0 学分
授课教师： 王竹 姬东耀
综合评价
暂无评价 0 人评价
培养层次：硕博通用课程 所属学科/专业：网络与系统安全
课程类别：专业核心课 开课单位：网络空间安全学院
学分：3.0
课程点评
还没有评论耶！放着我来！
五维雷达图
综合评价 暂无评价
  • 课程难度暂无评分
  • 作业多少暂无评分
  • 给分好坏暂无评分
  • 收获大小暂无评分
授课教师
开设学期
  • 2026秋 · 1802030839X4P2001H 姬东耀、王竹
选课规划

把「安全协议与形式化方法」加入你的选课规划，自动检测时间冲突。

登录后加入选课规划
选课请以教务系统发布的信息为准。
其他老师的「安全协议与形式化方法」课
王竹老师的其他课
姬东耀老师的其他课
▲