Matches in SemOpenAlex for { <https://semopenalex.org/work/W2109448520> ?p ?o ?g. }
Showing items 1 to 85 of
85
with 100 items per page.
- W2109448520 abstract "Developing security-critical applications is very difficult and the past has shown that many applications turned out to be erroneous after years of usage. For this reason it is desirable to have a sound methodology for developing security-critical e-commerce applications. We present an approach to model these applications with the Unified Modeling Language (UML) [1] extended by a UML profile to tailor our models to security applications. Our intent is to (semi-) automatically generate a formal specification suitable for verification as well as an implementation from the model. Therefore we offer a development method seamlessly integrating semi-formal and formal methods as well as the implementation. This is a significant advantage compared to other approaches not dealing with all aspects from abstract models down to code. Based on this approach we can prove security properties on the abstract protocol level as well as the correctness of the protocol implementation in Java with respect to the formal model using the refinement approach. In this paper we concentrate on the modeling with UML and some details regarding the transformation of this model into the formal specification. We illustrate our approach on an electronic payment system called Mondex [10]. Mondex has become famous for being the target of the first ITSEC evaluation of the highest level E6 which requires formal specification and verification." @default.
- W2109448520 created "2016-06-24" @default.
- W2109448520 creator A5020041058 @default.
- W2109448520 creator A5035884631 @default.
- W2109448520 creator A5047132758 @default.
- W2109448520 creator A5058201896 @default.
- W2109448520 date "2007-08-01" @default.
- W2109448520 modified "2023-09-26" @default.
- W2109448520 title "A Modeling Framework for the Development of Provably Secure E-Commerce Applications" @default.
- W2109448520 cites W1505593098 @default.
- W2109448520 cites W1564123263 @default.
- W2109448520 cites W1570343895 @default.
- W2109448520 cites W1585290860 @default.
- W2109448520 cites W168126392 @default.
- W2109448520 cites W1748251377 @default.
- W2109448520 cites W1795523128 @default.
- W2109448520 cites W1853368733 @default.
- W2109448520 cites W1969402593 @default.
- W2109448520 cites W1989688706 @default.
- W2109448520 cites W2079238799 @default.
- W2109448520 cites W2098019984 @default.
- W2109448520 cites W2106901380 @default.
- W2109448520 cites W2121313501 @default.
- W2109448520 cites W2155032609 @default.
- W2109448520 cites W3125672686 @default.
- W2109448520 cites W3162919972 @default.
- W2109448520 cites W47653352 @default.
- W2109448520 doi "https://doi.org/10.1109/icsea.2007.7" @default.
- W2109448520 hasPublicationYear "2007" @default.
- W2109448520 type Work @default.
- W2109448520 sameAs 2109448520 @default.
- W2109448520 citedByCount "8" @default.
- W2109448520 countsByYear W21094485202019 @default.
- W2109448520 crossrefType "proceedings-article" @default.
- W2109448520 hasAuthorship W2109448520A5020041058 @default.
- W2109448520 hasAuthorship W2109448520A5035884631 @default.
- W2109448520 hasAuthorship W2109448520A5047132758 @default.
- W2109448520 hasAuthorship W2109448520A5058201896 @default.
- W2109448520 hasConcept C110251889 @default.
- W2109448520 hasConcept C111498074 @default.
- W2109448520 hasConcept C115903868 @default.
- W2109448520 hasConcept C116253237 @default.
- W2109448520 hasConcept C145644426 @default.
- W2109448520 hasConcept C154945302 @default.
- W2109448520 hasConcept C199360897 @default.
- W2109448520 hasConcept C2776436953 @default.
- W2109448520 hasConcept C2777904410 @default.
- W2109448520 hasConcept C2779791154 @default.
- W2109448520 hasConcept C41008148 @default.
- W2109448520 hasConcept C41298492 @default.
- W2109448520 hasConcept C548217200 @default.
- W2109448520 hasConcept C55439883 @default.
- W2109448520 hasConcept C75606506 @default.
- W2109448520 hasConceptScore W2109448520C110251889 @default.
- W2109448520 hasConceptScore W2109448520C111498074 @default.
- W2109448520 hasConceptScore W2109448520C115903868 @default.
- W2109448520 hasConceptScore W2109448520C116253237 @default.
- W2109448520 hasConceptScore W2109448520C145644426 @default.
- W2109448520 hasConceptScore W2109448520C154945302 @default.
- W2109448520 hasConceptScore W2109448520C199360897 @default.
- W2109448520 hasConceptScore W2109448520C2776436953 @default.
- W2109448520 hasConceptScore W2109448520C2777904410 @default.
- W2109448520 hasConceptScore W2109448520C2779791154 @default.
- W2109448520 hasConceptScore W2109448520C41008148 @default.
- W2109448520 hasConceptScore W2109448520C41298492 @default.
- W2109448520 hasConceptScore W2109448520C548217200 @default.
- W2109448520 hasConceptScore W2109448520C55439883 @default.
- W2109448520 hasConceptScore W2109448520C75606506 @default.
- W2109448520 hasLocation W21094485201 @default.
- W2109448520 hasOpenAccess W2109448520 @default.
- W2109448520 hasPrimaryLocation W21094485201 @default.
- W2109448520 hasRelatedWork W1976182881 @default.
- W2109448520 hasRelatedWork W1994764149 @default.
- W2109448520 hasRelatedWork W2047482541 @default.
- W2109448520 hasRelatedWork W2330192511 @default.
- W2109448520 hasRelatedWork W2333037064 @default.
- W2109448520 hasRelatedWork W2368940688 @default.
- W2109448520 hasRelatedWork W2620688703 @default.
- W2109448520 hasRelatedWork W2964403605 @default.
- W2109448520 hasRelatedWork W4214702945 @default.
- W2109448520 hasRelatedWork W4239239224 @default.
- W2109448520 isParatext "false" @default.
- W2109448520 isRetracted "false" @default.
- W2109448520 magId "2109448520" @default.
- W2109448520 workType "article" @default.