Matches in SemOpenAlex for { <https://semopenalex.org/work/W2151391096> ?p ?o ?g. }
Showing items 1 to 99 of
99
with 100 items per page.
- W2151391096 abstract "Software security problems exist since the early days of computer systems. Operating system level approaches, network level approaches and machine level approaches are not sufficient for the security of software systems. Software security has gained attention in the recent years as an internal security issue of software systems as compared to external protective measures. Threat modeling is a technique being used to model threats into software systems. By applying threat modeling at the early stages of software development life cycle, all possible threats to software systems can be identified and mitigated and hence in this way, a more secure software application can be developed. Various threat modeling approaches such as CLASP, SDL, STRIDE, DREAD, TAM and Touch Points are being used by many organizations for threat modeling into software systems. But all of the approaches being used for threat modeling are based on informal and semi formal techniques. Formal methods are based on mathematics and provide state of the art techniques for secure software development. Formal methods had been used successfully in many critical systems such as CICS, Paris Railway System and British Air Traffic Control System etc. In the proposed approach VDM++, will be used for specification of core components: STRIDE, DREAD and Security Mechanisms. VDM++Tools will be used for type checking and proof obligations." @default.
- W2151391096 created "2016-06-24" @default.
- W2151391096 creator A5001488059 @default.
- W2151391096 creator A5028839466 @default.
- W2151391096 creator A5087428137 @default.
- W2151391096 date "2011-09-01" @default.
- W2151391096 modified "2023-09-24" @default.
- W2151391096 title "Threat modeling using formal methods: A new approach to develop secure web applications" @default.
- W2151391096 cites W1486178352 @default.
- W2151391096 cites W1604658196 @default.
- W2151391096 cites W1621186777 @default.
- W2151391096 cites W1848595280 @default.
- W2151391096 cites W1983424002 @default.
- W2151391096 cites W1990460504 @default.
- W2151391096 cites W2008681738 @default.
- W2151391096 cites W2025484678 @default.
- W2151391096 cites W2027060223 @default.
- W2151391096 cites W2029344129 @default.
- W2151391096 cites W2057864103 @default.
- W2151391096 cites W2098634112 @default.
- W2151391096 cites W2100063638 @default.
- W2151391096 cites W2124105024 @default.
- W2151391096 cites W2124477160 @default.
- W2151391096 cites W2126847279 @default.
- W2151391096 cites W2130891285 @default.
- W2151391096 cites W2131730994 @default.
- W2151391096 cites W2147733013 @default.
- W2151391096 cites W2150543695 @default.
- W2151391096 cites W2150797223 @default.
- W2151391096 cites W2152616679 @default.
- W2151391096 cites W2158145963 @default.
- W2151391096 cites W2158572645 @default.
- W2151391096 cites W2162676136 @default.
- W2151391096 cites W2164273722 @default.
- W2151391096 cites W2165854000 @default.
- W2151391096 cites W2168740635 @default.
- W2151391096 cites W3161918289 @default.
- W2151391096 cites W4233360627 @default.
- W2151391096 cites W4245671666 @default.
- W2151391096 cites W4246942317 @default.
- W2151391096 cites W4247638982 @default.
- W2151391096 doi "https://doi.org/10.1109/icet.2011.6048492" @default.
- W2151391096 hasPublicationYear "2011" @default.
- W2151391096 type Work @default.
- W2151391096 sameAs 2151391096 @default.
- W2151391096 citedByCount "11" @default.
- W2151391096 countsByYear W21513910962013 @default.
- W2151391096 countsByYear W21513910962014 @default.
- W2151391096 countsByYear W21513910962019 @default.
- W2151391096 countsByYear W21513910962020 @default.
- W2151391096 countsByYear W21513910962021 @default.
- W2151391096 countsByYear W21513910962022 @default.
- W2151391096 crossrefType "proceedings-article" @default.
- W2151391096 hasAuthorship W2151391096A5001488059 @default.
- W2151391096 hasAuthorship W2151391096A5028839466 @default.
- W2151391096 hasAuthorship W2151391096A5087428137 @default.
- W2151391096 hasConcept C111919701 @default.
- W2151391096 hasConcept C115903868 @default.
- W2151391096 hasConcept C140547941 @default.
- W2151391096 hasConcept C149091818 @default.
- W2151391096 hasConcept C18007350 @default.
- W2151391096 hasConcept C2777904410 @default.
- W2151391096 hasConcept C29983905 @default.
- W2151391096 hasConcept C38652104 @default.
- W2151391096 hasConcept C41008148 @default.
- W2151391096 hasConcept C527648132 @default.
- W2151391096 hasConcept C529173508 @default.
- W2151391096 hasConcept C62913178 @default.
- W2151391096 hasConcept C75606506 @default.
- W2151391096 hasConceptScore W2151391096C111919701 @default.
- W2151391096 hasConceptScore W2151391096C115903868 @default.
- W2151391096 hasConceptScore W2151391096C140547941 @default.
- W2151391096 hasConceptScore W2151391096C149091818 @default.
- W2151391096 hasConceptScore W2151391096C18007350 @default.
- W2151391096 hasConceptScore W2151391096C2777904410 @default.
- W2151391096 hasConceptScore W2151391096C29983905 @default.
- W2151391096 hasConceptScore W2151391096C38652104 @default.
- W2151391096 hasConceptScore W2151391096C41008148 @default.
- W2151391096 hasConceptScore W2151391096C527648132 @default.
- W2151391096 hasConceptScore W2151391096C529173508 @default.
- W2151391096 hasConceptScore W2151391096C62913178 @default.
- W2151391096 hasConceptScore W2151391096C75606506 @default.
- W2151391096 hasLocation W21513910961 @default.
- W2151391096 hasOpenAccess W2151391096 @default.
- W2151391096 hasPrimaryLocation W21513910961 @default.
- W2151391096 hasRelatedWork W1485135523 @default.
- W2151391096 hasRelatedWork W1524361563 @default.
- W2151391096 hasRelatedWork W1548926438 @default.
- W2151391096 hasRelatedWork W1592293578 @default.
- W2151391096 hasRelatedWork W1599201176 @default.
- W2151391096 hasRelatedWork W2107811021 @default.
- W2151391096 hasRelatedWork W2294981642 @default.
- W2151391096 hasRelatedWork W2324601427 @default.
- W2151391096 hasRelatedWork W2749755840 @default.
- W2151391096 hasRelatedWork W47391610 @default.
- W2151391096 isParatext "false" @default.
- W2151391096 isRetracted "false" @default.
- W2151391096 magId "2151391096" @default.
- W2151391096 workType "article" @default.