Specifying and Verifying Secrecy in Workflows with Arbitrarily Many Agents
Specifying and Verifying Secrecy in Workflows with Arbitrarily Many Agents
复制标题
在具有任意多个代理的工作流中指定和验证保密性
DOI：
10.1007/978-3-319-46520-3_11
复制
发表时间：
2016
期刊：
影响因子：
--
通讯作者：
Christian Müller
中科院分区：
文献类型：
--
作者：
Bernd Finkbeiner;Helmut Seidl;Christian Müller
基于web的工作流管理系统，如EasyChair、HealthVault、Ebay或Amazon，通常处理机密信息，如审阅者的身份、健康数据或信用卡号。由于工作流中参与者的数量原则上是无界的，因此很难用限定于固定数量的代理的规范语言来描述此类系统的信息流策略。我们引入了HyperLTL的一阶版本，它允许我们在具有任意多个代理的工作流中表达信息流需求。我们提出了一种有界模型检验技术，它将信息流策略的违反降低到一阶公式的可满足性。在此基础上，进一步确定了保证结果可满足性问题是可决定的条件。
Web-based workflow management systems, like EasyChair, HealthVault, Ebay, or Amazon, often deal with confidential information such as the identity of reviewers, health data, or credit card numbers. Because the number of participants in the workflow is in principle unbounded, it is difficult to describe the information flow policy of such systems in specification languages that are limited to a fixed number of agents. We introduce a first-order version of HyperLTL, which allows us to express information flow requirements in workflows with arbitrarily many agents. We present a bounded model checking technique that reduces the violation of the information flow policy to the satisfiability of a first-order formula. We furthermore identify conditions under which the resulting satisfiability problem is guaranteed to be decidable.
登录
查看更多内容
DOI：
10.1145/1111037.1111045
发表时间：
2006-01
期刊：
--
影响因子：
--
作者：
Sebastian Hunt;David Sands
通讯作者：
Sebastian Hunt;David Sands
电子卫生中的参数信息流控制
DOI：
10.1109/healthcom.2015.7454481
发表时间：
2015
期刊：
2015 17th International Conference on E-health Networking, Application & Services (HealthCom)
影响因子：
--
作者：
Chandrika Bhardwaj;Sanjiva Prasad
通讯作者：
Sanjiva Prasad
支持云计算的隐私：ConfiChair，案例研究
DOI：
10.1007/978-3-642-28641-4_6
发表时间：
2012
期刊：
8th International Conference for Internet Technology and Secured Transactions (ICITST-2013)
影响因子：
--
作者：
Myrto Arapinis;Sergiu Bursuc;M. Ryan
通讯作者：
M. Ryan
DOI：
10.1007/978-3-319-08867-9_11
发表时间：
2014
期刊：
18th IEEE Computer Security Foundations Workshop (CSFW'05)
影响因子：
--
作者：
Sudeep Kanav;P. Lammich;A. Popescu
通讯作者：
A. Popescu
DOI：
10.1515/itit-2014-1067
发表时间：
2014
期刊：
it - Information Technology
影响因子：
--
作者：
B. Finkbeiner;M. Rabe
通讯作者：
M. Rabe