Matches in SemOpenAlex for { <https://semopenalex.org/work/W3148164551> ?p ?o ?g. }
Showing items 1 to 100 of
100
with 100 items per page.
- W3148164551 abstract "Developing security-critical systems is difficult and thereare many well-known examples of security weaknesses exploited in practice. Thus a sound methodology supporting secure systems development is urgently needed. We present an extensible verification framework for verify- ing UML models for security requirements. In particular, it includes various plugins performing different security anal- yses on models of the security extension UMLsec of UML. Here, we concentrate on an automated theorem prover bind- ing to verify security properties of UMLsec models which make use of cryptography (such as cryptographic protocols). The work aims to contribute towards usage of UML for se- cure systems development in practice by offering automated analysis routines connected to popular CASE tools. We present an example of such an application where our ap- proach found and corrected several serious design flaws in an industrial biometric authentication system." @default.
- W3148164551 created "2021-04-13" @default.
- W3148164551 creator A5084681871 @default.
- W3148164551 date "2005-01-01" @default.
- W3148164551 modified "2023-09-26" @default.
- W3148164551 title "Sound Methods and Effective Tools for Model-based Security Engineering with UML" @default.
- W3148164551 cites W1505493017 @default.
- W3148164551 cites W1524147119 @default.
- W3148164551 cites W1570069626 @default.
- W3148164551 cites W1571999050 @default.
- W3148164551 cites W1582978759 @default.
- W3148164551 cites W1595540307 @default.
- W3148164551 cites W1773609568 @default.
- W3148164551 cites W1874464064 @default.
- W3148164551 cites W1933755642 @default.
- W3148164551 cites W1991004527 @default.
- W3148164551 cites W2015328639 @default.
- W3148164551 cites W2029693536 @default.
- W3148164551 cites W2097154968 @default.
- W3148164551 cites W2098019984 @default.
- W3148164551 cites W2101361743 @default.
- W3148164551 cites W2105326008 @default.
- W3148164551 cites W2111673347 @default.
- W3148164551 cites W2116352900 @default.
- W3148164551 cites W2126212382 @default.
- W3148164551 cites W2139117584 @default.
- W3148164551 cites W2139793270 @default.
- W3148164551 cites W2153474105 @default.
- W3148164551 hasPublicationYear "2005" @default.
- W3148164551 type Work @default.
- W3148164551 sameAs 3148164551 @default.
- W3148164551 citedByCount "10" @default.
- W3148164551 countsByYear W31481645512013 @default.
- W3148164551 countsByYear W31481645512014 @default.
- W3148164551 countsByYear W31481645512015 @default.
- W3148164551 crossrefType "journal-article" @default.
- W3148164551 hasAuthorship W3148164551A5084681871 @default.
- W3148164551 hasConcept C103377522 @default.
- W3148164551 hasConcept C111919701 @default.
- W3148164551 hasConcept C115903868 @default.
- W3148164551 hasConcept C121822524 @default.
- W3148164551 hasConcept C13159133 @default.
- W3148164551 hasConcept C145644426 @default.
- W3148164551 hasConcept C146939238 @default.
- W3148164551 hasConcept C184842701 @default.
- W3148164551 hasConcept C195518309 @default.
- W3148164551 hasConcept C199360897 @default.
- W3148164551 hasConcept C2777904410 @default.
- W3148164551 hasConcept C29983905 @default.
- W3148164551 hasConcept C38652104 @default.
- W3148164551 hasConcept C41008148 @default.
- W3148164551 hasConcept C41298492 @default.
- W3148164551 hasConcept C527648132 @default.
- W3148164551 hasConcept C62913178 @default.
- W3148164551 hasConcept C79974875 @default.
- W3148164551 hasConceptScore W3148164551C103377522 @default.
- W3148164551 hasConceptScore W3148164551C111919701 @default.
- W3148164551 hasConceptScore W3148164551C115903868 @default.
- W3148164551 hasConceptScore W3148164551C121822524 @default.
- W3148164551 hasConceptScore W3148164551C13159133 @default.
- W3148164551 hasConceptScore W3148164551C145644426 @default.
- W3148164551 hasConceptScore W3148164551C146939238 @default.
- W3148164551 hasConceptScore W3148164551C184842701 @default.
- W3148164551 hasConceptScore W3148164551C195518309 @default.
- W3148164551 hasConceptScore W3148164551C199360897 @default.
- W3148164551 hasConceptScore W3148164551C2777904410 @default.
- W3148164551 hasConceptScore W3148164551C29983905 @default.
- W3148164551 hasConceptScore W3148164551C38652104 @default.
- W3148164551 hasConceptScore W3148164551C41008148 @default.
- W3148164551 hasConceptScore W3148164551C41298492 @default.
- W3148164551 hasConceptScore W3148164551C527648132 @default.
- W3148164551 hasConceptScore W3148164551C62913178 @default.
- W3148164551 hasConceptScore W3148164551C79974875 @default.
- W3148164551 hasLocation W31481645511 @default.
- W3148164551 hasOpenAccess W3148164551 @default.
- W3148164551 hasPrimaryLocation W31481645511 @default.
- W3148164551 hasRelatedWork W1486178352 @default.
- W3148164551 hasRelatedWork W1524147119 @default.
- W3148164551 hasRelatedWork W1559133364 @default.
- W3148164551 hasRelatedWork W1606010048 @default.
- W3148164551 hasRelatedWork W1846700597 @default.
- W3148164551 hasRelatedWork W1885148506 @default.
- W3148164551 hasRelatedWork W2016064176 @default.
- W3148164551 hasRelatedWork W2018644264 @default.
- W3148164551 hasRelatedWork W2038514592 @default.
- W3148164551 hasRelatedWork W2054515615 @default.
- W3148164551 hasRelatedWork W2071878813 @default.
- W3148164551 hasRelatedWork W2098019984 @default.
- W3148164551 hasRelatedWork W2098634112 @default.
- W3148164551 hasRelatedWork W2121793010 @default.
- W3148164551 hasRelatedWork W2139484917 @default.
- W3148164551 hasRelatedWork W2143036382 @default.
- W3148164551 hasRelatedWork W2166780245 @default.
- W3148164551 hasRelatedWork W2167104015 @default.
- W3148164551 hasRelatedWork W2380256880 @default.
- W3148164551 hasRelatedWork W3041621183 @default.
- W3148164551 isParatext "false" @default.
- W3148164551 isRetracted "false" @default.
- W3148164551 magId "3148164551" @default.
- W3148164551 workType "article" @default.