Matches in SemOpenAlex for { <https://semopenalex.org/work/W2561145802> ?p ?o ?g. }
Showing items 1 to 91 of
91
with 100 items per page.
- W2561145802 abstract "Security ceremonies are extensions for security protocols. One goal of ceremony designers is to be able to use symbolic evaluation methods to verify claims embedded in ceremonies. Unfortunately, there are some pieces missing for that, such as, a base description language and a tailored threat model for security ceremonies. Our contributions in this paper are: a proposal for message description syntax, an augmented threat model to encompass the subtleties of security ceremonies and a strategy for symbolic evaluation using First Order Logic (FOL) and an automatic theorem prover. Furthermore, we propose a new threat model named Distributed Attacker (DA), which uses the adaptive threat model proposed by Carlos et al. and the Security Ceremony Concertina Traversal layers proposed by Bella et al. As a result, we present scenarios which can be formally analysed with our proposal." @default.
- W2561145802 created "2017-01-06" @default.
- W2561145802 creator A5005396311 @default.
- W2561145802 creator A5054834050 @default.
- W2561145802 date "2016-08-01" @default.
- W2561145802 modified "2023-09-26" @default.
- W2561145802 title "Threat Modelling Service Security as a Security Ceremony" @default.
- W2561145802 cites W1502051745 @default.
- W2561145802 cites W1542059364 @default.
- W2561145802 cites W1982410511 @default.
- W2561145802 cites W1988811748 @default.
- W2561145802 cites W2010939995 @default.
- W2561145802 cites W2029693536 @default.
- W2561145802 cites W2046147156 @default.
- W2561145802 cites W2066158003 @default.
- W2561145802 cites W2106192381 @default.
- W2561145802 cites W2146973388 @default.
- W2561145802 cites W2162691770 @default.
- W2561145802 cites W2395822484 @default.
- W2561145802 cites W2401210256 @default.
- W2561145802 cites W3013607954 @default.
- W2561145802 cites W3137131409 @default.
- W2561145802 doi "https://doi.org/10.1109/ares.2016.59" @default.
- W2561145802 hasPublicationYear "2016" @default.
- W2561145802 type Work @default.
- W2561145802 sameAs 2561145802 @default.
- W2561145802 citedByCount "4" @default.
- W2561145802 countsByYear W25611458022018 @default.
- W2561145802 countsByYear W25611458022020 @default.
- W2561145802 countsByYear W25611458022021 @default.
- W2561145802 countsByYear W25611458022022 @default.
- W2561145802 crossrefType "proceedings-article" @default.
- W2561145802 hasAuthorship W2561145802A5005396311 @default.
- W2561145802 hasAuthorship W2561145802A5054834050 @default.
- W2561145802 hasConcept C121822524 @default.
- W2561145802 hasConcept C138885662 @default.
- W2561145802 hasConcept C140547941 @default.
- W2561145802 hasConcept C140745168 @default.
- W2561145802 hasConcept C154945302 @default.
- W2561145802 hasConcept C199360897 @default.
- W2561145802 hasConcept C206880738 @default.
- W2561145802 hasConcept C27206212 @default.
- W2561145802 hasConcept C2775843773 @default.
- W2561145802 hasConcept C29983905 @default.
- W2561145802 hasConcept C38652104 @default.
- W2561145802 hasConcept C41008148 @default.
- W2561145802 hasConcept C527648132 @default.
- W2561145802 hasConcept C60048249 @default.
- W2561145802 hasConcept C80444323 @default.
- W2561145802 hasConceptScore W2561145802C121822524 @default.
- W2561145802 hasConceptScore W2561145802C138885662 @default.
- W2561145802 hasConceptScore W2561145802C140547941 @default.
- W2561145802 hasConceptScore W2561145802C140745168 @default.
- W2561145802 hasConceptScore W2561145802C154945302 @default.
- W2561145802 hasConceptScore W2561145802C199360897 @default.
- W2561145802 hasConceptScore W2561145802C206880738 @default.
- W2561145802 hasConceptScore W2561145802C27206212 @default.
- W2561145802 hasConceptScore W2561145802C2775843773 @default.
- W2561145802 hasConceptScore W2561145802C29983905 @default.
- W2561145802 hasConceptScore W2561145802C38652104 @default.
- W2561145802 hasConceptScore W2561145802C41008148 @default.
- W2561145802 hasConceptScore W2561145802C527648132 @default.
- W2561145802 hasConceptScore W2561145802C60048249 @default.
- W2561145802 hasConceptScore W2561145802C80444323 @default.
- W2561145802 hasLocation W25611458021 @default.
- W2561145802 hasOpenAccess W2561145802 @default.
- W2561145802 hasPrimaryLocation W25611458021 @default.
- W2561145802 hasRelatedWork W1504769856 @default.
- W2561145802 hasRelatedWork W1509405801 @default.
- W2561145802 hasRelatedWork W1541080063 @default.
- W2561145802 hasRelatedWork W1549208137 @default.
- W2561145802 hasRelatedWork W1603101253 @default.
- W2561145802 hasRelatedWork W1606635928 @default.
- W2561145802 hasRelatedWork W1975701403 @default.
- W2561145802 hasRelatedWork W2004591143 @default.
- W2561145802 hasRelatedWork W2030664040 @default.
- W2561145802 hasRelatedWork W2143077513 @default.
- W2561145802 hasRelatedWork W2227701282 @default.
- W2561145802 hasRelatedWork W2317567036 @default.
- W2561145802 hasRelatedWork W2480388356 @default.
- W2561145802 hasRelatedWork W2549439785 @default.
- W2561145802 hasRelatedWork W2904788781 @default.
- W2561145802 hasRelatedWork W2907876 @default.
- W2561145802 hasRelatedWork W3022774529 @default.
- W2561145802 hasRelatedWork W3102410487 @default.
- W2561145802 hasRelatedWork W37991703 @default.
- W2561145802 hasRelatedWork W1571749062 @default.
- W2561145802 isParatext "false" @default.
- W2561145802 isRetracted "false" @default.
- W2561145802 magId "2561145802" @default.
- W2561145802 workType "article" @default.