网络办公系统
|
邮箱
|
学生
|
教工
|
访客
|
LibGuides
|
English
简介
本系情况
大事记
系标识
新闻
新闻及成就
学术活动
人员
教研序列教师
教学序列教师
研究序列教师
访问兼职教师
教辅序列人员
行政人员
研究
研究方向
重点实验室
校企联合实验室
国际合作联合实验室
人才团队
教学
本科生
研究生
招生
本科生招生
硕士生招生
博士生招生
招聘
教授岗位
研究岗位
教辅岗位
管理与职员岗位
联系
首页
>
学术活动
Formal Verification of Security Protocols
演讲者：
Anca D. Jurcut
时间：
2017-12-21（星期四）10:30-12:00
地点：
南山智园A7栋1008室
