4月7日晚上，实验室硕士毕业生、英国华威大学（University of Warwick）何黎刚博士应邀在东五楼210学术报告厅做了题为“Modelling the execution of workflows under role-based authorisation control”的报告。
在报告中，何博士首先指出，目前评估运行在并行分布式系统中的应用程序的性能时，研究人员仅仅考虑了资源的分配，而忽略了应用程序运行环境采用的安全策略，针对这个问题，他提出了一种机制对在RBAC控制下的工作流进行建模，何博士介绍说该机制采用了彩色时间Petri网的形式化描述进行建模。此外，他还仔细阐释了多种认证条件的建模，包括时间限制、基数限制、职责约束和职责分离限制等等。
何博士的报告引起了师生的浓厚兴趣，大家踊跃提问，他对大家的问题做出了详细回答，并就Petri网的建模问题同大家展开了讨论。
何黎刚是实验室2001届硕士毕业生，硕士研究生导师为韩宗芬教授和金海教授，毕业后赴英国华威大学攻读博士学位，获得学位后在英国剑桥大学完成了博士后研究工作。何黎刚现为英国华威大学计算机系助理教授，他的研究方向是网格和集群计算、并行和分布式处理、实时处理、高性能计算、性能模拟和评价以及数据库管理，目前主要从事分布式计算中资源分配的建模研究。何黎刚是IEEE会员，同时是众多IEEE国际会议技术委员会成员。
通讯员: 赵娜
