Satisfiability Analysis of Workflows with Control-Flow Patterns and Authorization Constraints
ناشر:
سال
: 2014شناسه الکترونیک: 10.1109/TSC.2013.31
کلیدواژه(گان): authorisation,computability,computational complexity,open systems,access control policies,authorization constraints,computational complexity,control-flow patterns,open service world,workflow satisfiability analysis,workflow satisfiability problem,workflow system security issues,Workflow satisfiability analysis,access control
کالکشن
:
-
آمار بازدید
Satisfiability Analysis of Workflows with Control-Flow Patterns and Authorization Constraints
Show full item record
| contributor author | Ping Yang | |
| contributor author | Xing Xie | |
| contributor author | Ray, I. | |
| contributor author | Shiyong Lu | |
| date accessioned | 2020-03-12T18:23:32Z | |
| date available | 2020-03-12T18:23:32Z | |
| date issued | 2014 | |
| identifier issn | 1939-1374 | |
| identifier other | 6517190.pdf | |
| identifier uri | https://libsearch.um.ac.ir:443/fum/handle/fum/956917 | |
| format | general | |
| language | English | |
| publisher | IEEE | |
| title | Satisfiability Analysis of Workflows with Control-Flow Patterns and Authorization Constraints | |
| type | Journal Paper | |
| contenttype | Metadata Only | |
| identifier padid | 7989067 | |
| subject keywords | authorisation | |
| subject keywords | computability | |
| subject keywords | computational complexity | |
| subject keywords | open systems | |
| subject keywords | access control policies | |
| subject keywords | authorization constraints | |
| subject keywords | computational complexity | |
| subject keywords | control-flow patterns | |
| subject keywords | open service world | |
| subject keywords | workflow satisfiability analysis | |
| subject keywords | workflow satisfiability problem | |
| subject keywords | workflow system security issues | |
| subject keywords | Workflow satisfiability analysis | |
| subject keywords | access control | |
| identifier doi | 10.1109/TSC.2013.31 | |
| journal title | Services Computing, IEEE Transactions on | |
| journal volume | 7 | |
| journal issue | 2 | |
| filesize | 748358 | |
| citations | 0 |