作为安全仪式psi-演算的行为者网络过程
密码学与安全
2014-04-09 v1
摘要
Pavlovic和Meadows的行为者网络过程是一种用于描述安全仪式并推理其安全属性的新型图形化形式体系。本文研究了行为者网络过程（ANP）与最近的psi-演算框架的关系。Psi-演算是一种参数化形式体系，其中像spi-演算或applied-pi演算这样的演算作为实例出现。Psi-演算是操作性的且大多是非图形化的，但基于名义集和进程代数的理论有坚实的基础。本文的一个目的是通过psi-演算为ANP提供语义。另一个目的是为安全仪式的psi-演算实例提供一种图形化语言。同时，这项工作提供了对ANP形式化和图形化表示的更多细节的洞察。
引用
@article{arxiv.1404.1988,
title = {Actor Network Procedures as Psi-calculi for Security Ceremonies},
author = {Cristian Prisacariu},
journal= {arXiv preprint arXiv:1404.1988},
year = {2014}
}
备注
In Proceedings GraMSec 2014, arXiv:1404.1634