社交网络的动态代数规约
计算机科学中的逻辑
2011-07-01 v1
摘要
借助互联网，社交网络迅速发展，这增加了安全需求。我们提出了一种将社交网络形式化为复合行为对象的方法，使用观察迁移系统（OTS）方法进行定义。我们的定义随后被转换为 OTS/CafeOBJ 代数规约方法论。这种转换允许通过证明评分法对社交网络的安全性质进行形式化验证。最后，使用该方法论，我们形式化验证了一些安全性质。
引用
@article{arxiv.1106.6267,
title = {A Dynamic Algebraic Specification for Social Networks},
author = {Katerina Ksystra and Konstantinos Barlas and Nikolaos Triantafyllou and Petros Stefaneas},
journal= {arXiv preprint arXiv:1106.6267},
year = {2011}
}
备注
8 apges, 1 figure, 5 tables