第一届图形化安全模型国际研讨会论文集
密码学与安全
2014-04-08 v1
摘要
本卷收录了第一届图形化安全模型国际研讨会(GraMSec'14)的论文集。该研讨会于2014年4月12日在法国格勒诺布尔举行，是2014年欧洲软件理论与实践联合会议(ETAPS'14)的卫星活动之一。图形化安全模型提供了一种直观而系统的方法来分析系统安全弱点并评估潜在的保护措施。这类模型一直是学术研究的主题，并已被工业界广泛接受，作为支持和促进威胁分析与风险管理过程的手段。GraMSec的目标是促进建立有充分依据的图形化安全模型、高效的分析算法以及实际使用的方法论。该研讨会汇集了设计和使用安全视觉模型的学术研究人员和行业从业者，以提供一个讨论、知识交流和合作的平台。
引用
@article{arxiv.1404.1634,
title = {Proceedings First International Workshop on Graphical Models for Security},
author = {Barbara Kordy and Sjouke Mauw and Wolter Pieters},
journal= {arXiv preprint arXiv:1404.1634},
year = {2014}
}