Matches in SemOpenAlex for { <https://semopenalex.org/work/W1504560879> ?p ?o ?g. }
Showing items 1 to 57 of
57
with 100 items per page.
- W1504560879 endingPage "309" @default.
- W1504560879 startingPage "305" @default.
- W1504560879 abstract "We present tool-support for checking the security requirements associated with UMLsec stereotypes. A framework supports implementing verification routines, based on XMI output of the diagrams from UML CASE tools. Advanced users of the UMLsec approach can use this open-source framework to implement verification routines for the constraints of self-defined stereotypes. We focus on a verification routine that automatically verifies sequence diagrams with cryptographic algorithms for security requirements by using automated theorem provers." @default.
- W1504560879 created "2016-06-24" @default.
- W1504560879 creator A5000884082 @default.
- W1504560879 creator A5029120753 @default.
- W1504560879 date "2005-01-01" @default.
- W1504560879 modified "2023-09-26" @default.
- W1504560879 title "Tools for Secure Systems Development with UML: Security Analysis with ATPs" @default.
- W1504560879 cites W4206056772 @default.
- W1504560879 doi "https://doi.org/10.1007/978-3-540-31984-9_23" @default.
- W1504560879 hasPublicationYear "2005" @default.
- W1504560879 type Work @default.
- W1504560879 sameAs 1504560879 @default.
- W1504560879 citedByCount "6" @default.
- W1504560879 countsByYear W15045608792017 @default.
- W1504560879 crossrefType "book-chapter" @default.
- W1504560879 hasAuthorship W1504560879A5000884082 @default.
- W1504560879 hasAuthorship W1504560879A5029120753 @default.
- W1504560879 hasBestOaLocation W15045608791 @default.
- W1504560879 hasConcept C110251889 @default.
- W1504560879 hasConcept C115903868 @default.
- W1504560879 hasConcept C120665830 @default.
- W1504560879 hasConcept C121332964 @default.
- W1504560879 hasConcept C145644426 @default.
- W1504560879 hasConcept C153185123 @default.
- W1504560879 hasConcept C192209626 @default.
- W1504560879 hasConcept C199360897 @default.
- W1504560879 hasConcept C2777904410 @default.
- W1504560879 hasConcept C41008148 @default.
- W1504560879 hasConceptScore W1504560879C110251889 @default.
- W1504560879 hasConceptScore W1504560879C115903868 @default.
- W1504560879 hasConceptScore W1504560879C120665830 @default.
- W1504560879 hasConceptScore W1504560879C121332964 @default.
- W1504560879 hasConceptScore W1504560879C145644426 @default.
- W1504560879 hasConceptScore W1504560879C153185123 @default.
- W1504560879 hasConceptScore W1504560879C192209626 @default.
- W1504560879 hasConceptScore W1504560879C199360897 @default.
- W1504560879 hasConceptScore W1504560879C2777904410 @default.
- W1504560879 hasConceptScore W1504560879C41008148 @default.
- W1504560879 hasLocation W15045608791 @default.
- W1504560879 hasOpenAccess W1504560879 @default.
- W1504560879 hasPrimaryLocation W15045608791 @default.
- W1504560879 hasRelatedWork W2028139164 @default.
- W1504560879 hasRelatedWork W2079040328 @default.
- W1504560879 hasRelatedWork W2131431564 @default.
- W1504560879 hasRelatedWork W2136615113 @default.
- W1504560879 hasRelatedWork W2140523262 @default.
- W1504560879 hasRelatedWork W2148943813 @default.
- W1504560879 hasRelatedWork W2151898527 @default.
- W1504560879 hasRelatedWork W2601186135 @default.
- W1504560879 hasRelatedWork W83115356 @default.
- W1504560879 hasRelatedWork W939559430 @default.
- W1504560879 isParatext "false" @default.
- W1504560879 isRetracted "false" @default.
- W1504560879 magId "1504560879" @default.
- W1504560879 workType "book-chapter" @default.