×
格雷戈里·古汀;斯特凡·克拉奇;马格努斯·瓦尔斯特罗姆

工作流可满足性问题的多项式核和用户约简。 （英语） Zbl 1350.68143号

算法 75，第2期，383-402（2016）。
摘要：工作流可满足性问题（WSP）是一个实际感兴趣的问题，每当任务需要由授权用户执行时就会出现，并受到业务规则定义的约束。我们需要决定是否存在计划–向授权用户分配任务–以满足所有约束。事实上，WSP是保守约束满足问题（即，对于每个变量，这里称为任务，我们有一个一元授权约束），因此，是完成的。由以下人员观察Q.王和N.李[“工作流授权系统中的可满足性和弹性”，ACM Trans.Inf.Syst.Secur.13，No.4，Article No.40，35 p.（2010；数字对象标识代码：10.1145/1880022.1880034)]任务的数量（k）通常很小，因此可以用作参数，随后的几项工作研究了WSP关于参数（k）的参数化复杂性。当\（\varGamma\）表示一组有限或无限的允许约束时，我们将更详细地研究WSP（\（\ varGamma \））的内核化复杂性。我们的主要结果是，对于\（\varGamma\）中的所有约束都是正则的情况，有一个二分法：（1）我们能够将用户的数量\（n\）减少到\（n'\leqk \）。这就需要对有限（varGamma）的大小进行内核化（mathrm{poly}（k）），在温和的技术条件下，对无限（varGamma）的大小要进行内核化，其中（m）表示约束的数量。（2） 对于某些\（R\in\varGamma\），WSP（\（R\））已经不允许在\（k+m\）中进行多项式核化，除非多项式层次结构崩溃。

引用于1文件

MSC公司：

65年第68季度 算法和问题复杂性分析
68瓦05 非数值算法

关键词：

工作流可满足性问题;参数复杂性;核化
PDF格式BibTeX公司 XML格式引用
\textit{G.Gutin}等人，Algorithmica 75，No.2，383--402（2016；Zbl 1350.68143）
全文： 内政部 arXiv公司

参考文献：

[1] 美国国家标准协会。ANSI INCITS 359-2004《基于角色的访问控制》（2004）
[2] Bertino，E.，Bonatti，P.A.，Ferrari，E.：TRBAC：基于时间角色的访问控制模型。ACM事务处理。信息系统。安全。4(3), 191-233 (2001) ·数字对象标识代码：10.1145/501978.501979
[3] Bertino，E.、Ferrari，E.、Atluri，V.：工作流管理系统中授权约束的规范和实施。ACM事务处理。信息系统。安全。2(1), 65-104 (1999) ·数字对象标识代码：10.1145/300830.300837
[4] Betzler，N.，Bredereck，R.，Niedermeier，R.：秩聚合的部分核化：理论和实验。在：IPEC，LNCS第6478卷，第26-37页。施普林格（2010）·Zbl 1309.68083号
[5] Cohen，D.，Crampton，J.，Gagarin，A.，Gutin，G.，Jones，M.：具有用户依赖约束的工作流可满足性问题的工程算法。收录于：一汽2014年，LNCS第8497卷，第48-59页。斯普林格（2014）·Zbl 1407.68448号
[6] Cohen，D.，Crampton，J.，Gagarin，A.，Gutin，G.，Jones，M.：工作流可满足性问题的迭代计划构建。J.阿蒂夫。智力。第51号决议，555-577（2014年）·Zbl 1315.68145号
[7] Crampton，J.：任务执行受限的工作流系统的参考监控器。摘自：SACMAT，第38-47页。ACM（2005）·Zbl 1321.68274号
[8] Crampton，J.、Crowston，R.、Gutin，G.、Jones，M.、Ramanujan，M.S.：资历约束下工作流可满足性的固定参数可处理性。收录于：一汽-AAIM，LNCS第7924卷，第198-209页。施普林格（2013）·Zbl 1303.68067号
[9] Crampton，J.，Gutin，G.，Yeo，A.：关于工作流可满足性问题的参数化复杂性和核心化。ACM事务处理。信息系统。安全。16(1), 4 (2013) ·doi:10.1145/2487222.2487226
[10] Dell，H.，van Melkebeek，D.：可满足性不允许非平凡的稀疏化，除非多项式时间层次结构崩溃。J.ACM 61（4），23（2014）·Zbl 1321.68274号 ·doi:10.1145/2629620
[11] Dom，M.，Lokshtanov，D.，Saurabh，S.：通过颜色和id的核化下限。ACM事务处理。算法11（2），13（2014）·Zbl 1398.68226号 ·doi:10.1145/2650261
[12] Rodney G.Downey，Michael R.Fellows：参数化复杂性的基础。计算机科学课文。柏林施普林格出版社（2013）·Zbl 1358.68006号 ·doi:10.1007/978-1-4471-5559-1
[13] Hermelin，D.，Kratsch，S.，Soltys，K.，Wahlström，m.，Wu，X.：多项式（图灵）核化的完备性理论。收录于：IPEC，LNCS第8246卷，第202-215页。施普林格（2013）·Zbl 1407.68224号
[14] Joshi，J.，Bertino，E.，Latif，U.，Ghafoor，A.：一个基于角色的通用时间访问控制模型。IEEE传输。知识。数据工程17（1），4-23（2005）·doi:10.1109/TKDE.2005.1
[15] Lokshtanov，D.，Misra，N.，Saurabh，S.：有保证的内核化预处理。收录于：《多元算法革命及其后》，LNCS第7370卷，第129-161页。施普林格（2012）·Zbl 1358.68141号
[16] Sandhu，R.S.、Coyne，E.J.、Feinstein，H.L.、Youman，C.E.：基于角色的访问控制模型。IEEE计算。29(2), 38-47 (1996) ·数字对象标识代码：10.1109/2.485845
[17] Wang，Q.，Li，N.：工作流授权系统中的可满足性和弹性。ACM事务处理。信息系统。安全。13(4), 40 (2010) ·数字对象标识代码：10.1145/1880022.1880034
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。