Show simple item record

Satisfiability Analysis of Workflows with Control-Flow Patterns and Authorization Constraints

contributor authorPing Yang
contributor authorXing Xie
contributor authorRay, I.
contributor authorShiyong Lu
date accessioned2020-03-12T18:23:32Z
date available2020-03-12T18:23:32Z
date issued2014
identifier issn1939-1374
identifier other6517190.pdf
identifier urihttps://libsearch.um.ac.ir:443/fum/handle/fum/956917?show=full
formatgeneral
languageEnglish
publisherIEEE
titleSatisfiability Analysis of Workflows with Control-Flow Patterns and Authorization Constraints
typeJournal Paper
contenttypeMetadata Only
identifier padid7989067
subject keywordsauthorisation
subject keywordscomputability
subject keywordscomputational complexity
subject keywordsopen systems
subject keywordsaccess control policies
subject keywordsauthorization constraints
subject keywordscomputational complexity
subject keywordscontrol-flow patterns
subject keywordsopen service world
subject keywordsworkflow satisfiability analysis
subject keywordsworkflow satisfiability problem
subject keywordsworkflow system security issues
subject keywordsWorkflow satisfiability analysis
subject keywordsaccess control
identifier doi10.1109/TSC.2013.31
journal titleServices Computing, IEEE Transactions on
journal volume7
journal issue2
filesize748358
citations0


Files in this item

FilesSizeFormatView

There are no files associated with this item.

This item appears in the following Collection(s)

Show simple item record