信息科学技术学院/网络空间安全学院110周年校庆暨15周年院庆系列学术讲座（一、二、三）

题目一：On formal frameworks for security modeling内容简介：Formal methods have been frequently used in the context of security. Examples include to find weaknesses in cryptographic protocols, to prove the security of protocols, to generate access-control policies or to specify security properties of business processes. This talk reviews several approaches to formally model security and highlights...

2016-04-27

地址：广州市黄埔大道西601号 暨南大学（邮编：510632)

联系电话：

电子邮箱：oxky@jnu.edu.cn

版权所有 © 暨南大学信息科学技术学院 粤ICP备12087612号

学院团委微信平台

扫一扫关注学院