Matches in SemOpenAlex for { <https://semopenalex.org/work/W1664698921> ?p ?o ?g. }
Showing items 1 to 59 of
59
with 100 items per page.
- W1664698921 endingPage "507" @default.
- W1664698921 startingPage "504" @default.
- W1664698921 abstract "We present the latest version of STS-Tool, the modelling and analysis support tool for STS-ml, an actor- and goal-oriented security requirements modelling language for socio-technical systems. STS-Tool allows designers to model a socio-technical system in terms of high-level primitives such as actor, goal, and delegation; to express security constraints over the interactions between the actors; and to derive security requirements once the modelling is done. The tool features a set of automated reasoning techniques for i checking if a given STS-ml model is well-formed, and ii determining if the specification of security requirements is consistent, that is, there are no conflicts among security requirements. These techniques have been implemented using disjuntive datalog programs. We have evaluated our tool through various industrial case studies." @default.
- W1664698921 created "2016-06-24" @default.
- W1664698921 creator A5002940763 @default.
- W1664698921 creator A5069677848 @default.
- W1664698921 creator A5073056211 @default.
- W1664698921 creator A5074577975 @default.
- W1664698921 creator A5091784804 @default.
- W1664698921 date "2013-01-01" @default.
- W1664698921 modified "2023-10-02" @default.
- W1664698921 title "Specifying and Reasoning over Socio-Technical Security Requirements with STS-Tool" @default.
- W1664698921 cites W1481274198 @default.
- W1664698921 cites W1920610525 @default.
- W1664698921 cites W2014754306 @default.
- W1664698921 cites W2035622004 @default.
- W1664698921 cites W2047723056 @default.
- W1664698921 doi "https://doi.org/10.1007/978-3-642-41924-9_45" @default.
- W1664698921 hasPublicationYear "2013" @default.
- W1664698921 type Work @default.
- W1664698921 sameAs 1664698921 @default.
- W1664698921 citedByCount "8" @default.
- W1664698921 countsByYear W16646989212014 @default.
- W1664698921 countsByYear W16646989212015 @default.
- W1664698921 countsByYear W16646989212017 @default.
- W1664698921 countsByYear W16646989212020 @default.
- W1664698921 crossrefType "book-chapter" @default.
- W1664698921 hasAuthorship W1664698921A5002940763 @default.
- W1664698921 hasAuthorship W1664698921A5069677848 @default.
- W1664698921 hasAuthorship W1664698921A5073056211 @default.
- W1664698921 hasAuthorship W1664698921A5074577975 @default.
- W1664698921 hasAuthorship W1664698921A5091784804 @default.
- W1664698921 hasBestOaLocation W16646989212 @default.
- W1664698921 hasConcept C115903868 @default.
- W1664698921 hasConcept C154945302 @default.
- W1664698921 hasConcept C195344581 @default.
- W1664698921 hasConcept C41008148 @default.
- W1664698921 hasConceptScore W1664698921C115903868 @default.
- W1664698921 hasConceptScore W1664698921C154945302 @default.
- W1664698921 hasConceptScore W1664698921C195344581 @default.
- W1664698921 hasConceptScore W1664698921C41008148 @default.
- W1664698921 hasLocation W16646989211 @default.
- W1664698921 hasLocation W16646989212 @default.
- W1664698921 hasOpenAccess W1664698921 @default.
- W1664698921 hasPrimaryLocation W16646989211 @default.
- W1664698921 hasRelatedWork W1224968211 @default.
- W1664698921 hasRelatedWork W1941585394 @default.
- W1664698921 hasRelatedWork W2071499613 @default.
- W1664698921 hasRelatedWork W2144179818 @default.
- W1664698921 hasRelatedWork W2276873578 @default.
- W1664698921 hasRelatedWork W2358927215 @default.
- W1664698921 hasRelatedWork W2374823395 @default.
- W1664698921 hasRelatedWork W255557548 @default.
- W1664698921 hasRelatedWork W3107474891 @default.
- W1664698921 hasRelatedWork W2089592831 @default.
- W1664698921 isParatext "false" @default.
- W1664698921 isRetracted "false" @default.
- W1664698921 magId "1664698921" @default.
- W1664698921 workType "book-chapter" @default.