FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2100361884> ?p ?o ?g. }

• W2100361884 abstract "A widespread design approach in distributed applications based on the service-oriented paradigm, such as web-services, consists of clearly separating the enforcement of authorization policies and the workflow of the applications, so that the interplay between the policy level and the workflow level is abstracted away. While such an approach is attractive because it is quite simple and permits one to reason about crucial properties of the policies under consideration, it does not provide the right level of abstraction to specify and reason about the way the workflow may interfere with the policies, and vice versa. In this paper, we present a two-level formal verification framework to overcome these problems and formally reason about the interplay of authorization policies and workflow in service-oriented architectures. This allows us to define and investigate some verification problems for SO applications and give sufficient conditions for their decidability." @default.
• W2100361884 created "2016-06-24" @default.
• W2100361884 creator A5017237200 @default.
• W2100361884 creator A5038763902 @default.
• W2100361884 creator A5047487115 @default.
• W2100361884 date "2009-01-01" @default.
• W2100361884 modified "2023-09-27" @default.
• W2100361884 title "Verifying the Interplay of Authorization Policies and Workflow in Service-Oriented Architectures" @default.
• W2100361884 cites W120333500 @default.
• W2100361884 cites W1540180001 @default.
• W2100361884 cites W1549008998 @default.
• W2100361884 cites W1554326724 @default.
• W2100361884 cites W1562918491 @default.
• W2100361884 cites W1581651736 @default.
• W2100361884 cites W1591765658 @default.
• W2100361884 cites W1599739130 @default.
• W2100361884 cites W169672073 @default.
• W2100361884 cites W1856491113 @default.
• W2100361884 cites W1973291036 @default.
• W2100361884 cites W2053912113 @default.
• W2100361884 cites W2056350513 @default.
• W2100361884 cites W2096967940 @default.
• W2100361884 cites W2139025629 @default.
• W2100361884 cites W2156915267 @default.
• W2100361884 cites W2169082081 @default.
• W2100361884 cites W2169348910 @default.
• W2100361884 cites W2267233918 @default.
• W2100361884 cites W2799061192 @default.
• W2100361884 cites W3159832133 @default.
• W2100361884 doi "https://doi.org/10.1109/cse.2009.172" @default.
• W2100361884 hasPublicationYear "2009" @default.
• W2100361884 type Work @default.
• W2100361884 sameAs 2100361884 @default.
• W2100361884 citedByCount "11" @default.
• W2100361884 countsByYear W21003618842012 @default.
• W2100361884 crossrefType "proceedings-article" @default.
• W2100361884 hasAuthorship W2100361884A5017237200 @default.
• W2100361884 hasAuthorship W2100361884A5038763902 @default.
• W2100361884 hasAuthorship W2100361884A5047487115 @default.
• W2100361884 hasConcept C108759981 @default.
• W2100361884 hasConcept C111472728 @default.
• W2100361884 hasConcept C115903868 @default.
• W2100361884 hasConcept C120314980 @default.
• W2100361884 hasConcept C124304363 @default.
• W2100361884 hasConcept C138885662 @default.
• W2100361884 hasConcept C140824633 @default.
• W2100361884 hasConcept C144133560 @default.
• W2100361884 hasConcept C162853370 @default.
• W2100361884 hasConcept C177212765 @default.
• W2100361884 hasConcept C17744445 @default.
• W2100361884 hasConcept C188220564 @default.
• W2100361884 hasConcept C19612761 @default.
• W2100361884 hasConcept C199360897 @default.
• W2100361884 hasConcept C199539241 @default.
• W2100361884 hasConcept C2779777834 @default.
• W2100361884 hasConcept C2780378061 @default.
• W2100361884 hasConcept C2780586882 @default.
• W2100361884 hasConcept C35578498 @default.
• W2100361884 hasConcept C38652104 @default.
• W2100361884 hasConcept C41008148 @default.
• W2100361884 hasConcept C57041688 @default.
• W2100361884 hasConcept C77088390 @default.
• W2100361884 hasConceptScore W2100361884C108759981 @default.
• W2100361884 hasConceptScore W2100361884C111472728 @default.
• W2100361884 hasConceptScore W2100361884C115903868 @default.
• W2100361884 hasConceptScore W2100361884C120314980 @default.
• W2100361884 hasConceptScore W2100361884C124304363 @default.
• W2100361884 hasConceptScore W2100361884C138885662 @default.
• W2100361884 hasConceptScore W2100361884C140824633 @default.
• W2100361884 hasConceptScore W2100361884C144133560 @default.
• W2100361884 hasConceptScore W2100361884C162853370 @default.
• W2100361884 hasConceptScore W2100361884C177212765 @default.
• W2100361884 hasConceptScore W2100361884C17744445 @default.
• W2100361884 hasConceptScore W2100361884C188220564 @default.
• W2100361884 hasConceptScore W2100361884C19612761 @default.
• W2100361884 hasConceptScore W2100361884C199360897 @default.
• W2100361884 hasConceptScore W2100361884C199539241 @default.
• W2100361884 hasConceptScore W2100361884C2779777834 @default.
• W2100361884 hasConceptScore W2100361884C2780378061 @default.
• W2100361884 hasConceptScore W2100361884C2780586882 @default.
• W2100361884 hasConceptScore W2100361884C35578498 @default.
• W2100361884 hasConceptScore W2100361884C38652104 @default.
• W2100361884 hasConceptScore W2100361884C41008148 @default.
• W2100361884 hasConceptScore W2100361884C57041688 @default.
• W2100361884 hasConceptScore W2100361884C77088390 @default.
• W2100361884 hasLocation W21003618841 @default.
• W2100361884 hasOpenAccess W2100361884 @default.
• W2100361884 hasPrimaryLocation W21003618841 @default.
• W2100361884 hasRelatedWork W1411482791 @default.
• W2100361884 hasRelatedWork W1590976833 @default.
• W2100361884 hasRelatedWork W1801944252 @default.
• W2100361884 hasRelatedWork W2011804594 @default.
• W2100361884 hasRelatedWork W2052863975 @default.
• W2100361884 hasRelatedWork W2084011773 @default.
• W2100361884 hasRelatedWork W2105505307 @default.
• W2100361884 hasRelatedWork W2166602595 @default.
• W2100361884 hasRelatedWork W2172444888 @default.
• W2100361884 hasRelatedWork W2181938513 @default.
• W2100361884 hasRelatedWork W2267233918 @default.
• W2100361884 hasRelatedWork W2479497424 @default.

• next