Matches in SemOpenAlex for { <https://semopenalex.org/work/W1685159383> ?p ?o ?g. }
- W1685159383 endingPage "214" @default.
- W1685159383 startingPage "200" @default.
- W1685159383 abstract "Modern information systems are large-sized and comprise multiple heterogeneous and autonomous components. Autonomy enables decentralization, but it also implies that components providers are free to change, retire, or introduce new components. This is a threat to security, and calls for a continuous verification process to ensure compliance with security policies. Existing verification frameworks either have limited expressiveness—thereby inhibiting the specification of real-world requirements—, or rely on formal languages that are hardly employable for modeling and verifying large systems. In this paper, we overcome the limitations of existing approaches by proposing a framework that enables: (1) specifying information systems in SecBPMN, a security-oriented extension of BPMN; (2) expressing security policies through SecBPMN-Q, a query language for representing security policies; and (3) verifying SecBPMN-Q against SecBPMN specifications via an implemented query engine. We report on the applicability of our approach via a case study about air traffic management." @default.
- W1685159383 created "2016-06-24" @default.
- W1685159383 creator A5004905662 @default.
- W1685159383 creator A5069677848 @default.
- W1685159383 creator A5073056211 @default.
- W1685159383 date "2014-01-01" @default.
- W1685159383 modified "2023-09-29" @default.
- W1685159383 title "Modeling and Verifying Security Policies in Business Processes" @default.
- W1685159383 cites W1492400783 @default.
- W1685159383 cites W1524147119 @default.
- W1685159383 cites W1556540894 @default.
- W1685159383 cites W1791744705 @default.
- W1685159383 cites W1938075123 @default.
- W1685159383 cites W2027158876 @default.
- W1685159383 cites W2043312149 @default.
- W1685159383 cites W2083186005 @default.
- W1685159383 cites W2088345479 @default.
- W1685159383 cites W2090139686 @default.
- W1685159383 cites W2097726984 @default.
- W1685159383 cites W2099916166 @default.
- W1685159383 cites W2110143060 @default.
- W1685159383 cites W2114917462 @default.
- W1685159383 cites W2116585427 @default.
- W1685159383 cites W2123591057 @default.
- W1685159383 cites W2124105024 @default.
- W1685159383 cites W2148662091 @default.
- W1685159383 cites W2152676882 @default.
- W1685159383 cites W2158851034 @default.
- W1685159383 cites W2212209658 @default.
- W1685159383 cites W2323725703 @default.
- W1685159383 doi "https://doi.org/10.1007/978-3-662-43745-2_14" @default.
- W1685159383 hasPublicationYear "2014" @default.
- W1685159383 type Work @default.
- W1685159383 sameAs 1685159383 @default.
- W1685159383 citedByCount "37" @default.
- W1685159383 countsByYear W16851593832014 @default.
- W1685159383 countsByYear W16851593832015 @default.
- W1685159383 countsByYear W16851593832016 @default.
- W1685159383 countsByYear W16851593832017 @default.
- W1685159383 countsByYear W16851593832018 @default.
- W1685159383 countsByYear W16851593832019 @default.
- W1685159383 countsByYear W16851593832020 @default.
- W1685159383 countsByYear W16851593832021 @default.
- W1685159383 countsByYear W16851593832022 @default.
- W1685159383 countsByYear W16851593832023 @default.
- W1685159383 crossrefType "book-chapter" @default.
- W1685159383 hasAuthorship W1685159383A5004905662 @default.
- W1685159383 hasAuthorship W1685159383A5069677848 @default.
- W1685159383 hasAuthorship W1685159383A5073056211 @default.
- W1685159383 hasBestOaLocation W16851593832 @default.
- W1685159383 hasConcept C115903868 @default.
- W1685159383 hasConcept C121822524 @default.
- W1685159383 hasConcept C127413603 @default.
- W1685159383 hasConcept C136810230 @default.
- W1685159383 hasConcept C154908896 @default.
- W1685159383 hasConcept C174998907 @default.
- W1685159383 hasConcept C17744445 @default.
- W1685159383 hasConcept C179299601 @default.
- W1685159383 hasConcept C199360897 @default.
- W1685159383 hasConcept C199539241 @default.
- W1685159383 hasConcept C207505557 @default.
- W1685159383 hasConcept C21547014 @default.
- W1685159383 hasConcept C38652104 @default.
- W1685159383 hasConcept C41008148 @default.
- W1685159383 hasConcept C85345410 @default.
- W1685159383 hasConcept C98045186 @default.
- W1685159383 hasConceptScore W1685159383C115903868 @default.
- W1685159383 hasConceptScore W1685159383C121822524 @default.
- W1685159383 hasConceptScore W1685159383C127413603 @default.
- W1685159383 hasConceptScore W1685159383C136810230 @default.
- W1685159383 hasConceptScore W1685159383C154908896 @default.
- W1685159383 hasConceptScore W1685159383C174998907 @default.
- W1685159383 hasConceptScore W1685159383C17744445 @default.
- W1685159383 hasConceptScore W1685159383C179299601 @default.
- W1685159383 hasConceptScore W1685159383C199360897 @default.
- W1685159383 hasConceptScore W1685159383C199539241 @default.
- W1685159383 hasConceptScore W1685159383C207505557 @default.
- W1685159383 hasConceptScore W1685159383C21547014 @default.
- W1685159383 hasConceptScore W1685159383C38652104 @default.
- W1685159383 hasConceptScore W1685159383C41008148 @default.
- W1685159383 hasConceptScore W1685159383C85345410 @default.
- W1685159383 hasConceptScore W1685159383C98045186 @default.
- W1685159383 hasLocation W16851593831 @default.
- W1685159383 hasLocation W16851593832 @default.
- W1685159383 hasOpenAccess W1685159383 @default.
- W1685159383 hasPrimaryLocation W16851593831 @default.
- W1685159383 hasRelatedWork W1555502331 @default.
- W1685159383 hasRelatedWork W1685159383 @default.
- W1685159383 hasRelatedWork W175900153 @default.
- W1685159383 hasRelatedWork W1998860896 @default.
- W1685159383 hasRelatedWork W2267233918 @default.
- W1685159383 hasRelatedWork W2345053703 @default.
- W1685159383 hasRelatedWork W2743137647 @default.
- W1685159383 hasRelatedWork W3115856415 @default.
- W1685159383 hasRelatedWork W4206653122 @default.
- W1685159383 hasRelatedWork W55401611 @default.
- W1685159383 isParatext "false" @default.
- W1685159383 isRetracted "false" @default.