FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W798152072> ?p ?o ?g. }

• W798152072 endingPage "292" @default.
• W798152072 startingPage "277" @default.
• W798152072 abstract "We are interested in formal modelling and verification of security ceremonies. Considerable efforts have been put into verifying security protocols, with quite successful tools currently being widely used. The relatively recent concept of security ceremonies, introduced by Carl Ellison, increases the complexity of protocol analysis in several directions: a ceremony should include all relevant out-of-bad assumptions, should compose protocols, and should include the human agent. Work on modelling human agents as part of IT systems is quite limited, and the few existing studies come from psychology or sociology. A step towards understanding how to model and analyse security ceremonies is to integrate a model of human agents with models for protocols (or combination of protocols). Current works essentially model human agent interaction with a user interface as a nondeterministic process. In this paper we propose a more realistic model which includes more information about the user interaction, obtained by sociologists usually through experiments and observation, and model the actions of a human agent as a probabilistic process. An important point that we make in this paper is to separate the model of the human and the model of the user interface, and to provide a “compilation” operation putting the two together and encoding the interaction between the human and the interface. We base our work on a recently proposed model for security ceremonies, which we call the Bella-Coles-Kemp model." @default.
• W798152072 created "2016-06-24" @default.
• W798152072 creator A5024678267 @default.
• W798152072 creator A5052790680 @default.
• W798152072 date "2015-01-01" @default.
• W798152072 modified "2023-09-27" @default.
• W798152072 title "Probabilistic Modelling of Humans in Security Ceremonies" @default.
• W798152072 cites W1495408127 @default.
• W798152072 cites W1533949524 @default.
• W798152072 cites W1562901937 @default.
• W798152072 cites W1597181838 @default.
• W798152072 cites W1930546125 @default.
• W798152072 cites W1976268573 @default.
• W798152072 cites W1977964756 @default.
• W798152072 cites W1987581799 @default.
• W798152072 cites W2021548155 @default.
• W798152072 cites W2029693536 @default.
• W798152072 cites W2073245887 @default.
• W798152072 cites W2086673120 @default.
• W798152072 cites W2095478627 @default.
• W798152072 cites W2095540958 @default.
• W798152072 cites W2126214140 @default.
• W798152072 cites W2135657750 @default.
• W798152072 cites W2162691770 @default.
• W798152072 cites W2170824506 @default.
• W798152072 cites W2180261104 @default.
• W798152072 cites W2555835184 @default.
• W798152072 cites W3003983481 @default.
• W798152072 cites W30961909 @default.
• W798152072 cites W3162919972 @default.
• W798152072 cites W4212875940 @default.
• W798152072 cites W4239007999 @default.
• W798152072 cites W44769187 @default.
• W798152072 doi "https://doi.org/10.1007/978-3-319-17016-9_18" @default.
• W798152072 hasPublicationYear "2015" @default.
• W798152072 type Work @default.
• W798152072 sameAs 798152072 @default.
• W798152072 citedByCount "10" @default.
• W798152072 countsByYear W7981520722016 @default.
• W798152072 countsByYear W7981520722017 @default.
• W798152072 countsByYear W7981520722018 @default.
• W798152072 countsByYear W7981520722020 @default.
• W798152072 countsByYear W7981520722021 @default.
• W798152072 countsByYear W7981520722022 @default.
• W798152072 crossrefType "book-chapter" @default.
• W798152072 hasAuthorship W798152072A5024678267 @default.
• W798152072 hasAuthorship W798152072A5052790680 @default.
• W798152072 hasConcept C107457646 @default.
• W798152072 hasConcept C111919701 @default.
• W798152072 hasConcept C113843644 @default.
• W798152072 hasConcept C121822524 @default.
• W798152072 hasConcept C129307140 @default.
• W798152072 hasConcept C138885662 @default.
• W798152072 hasConcept C142724271 @default.
• W798152072 hasConcept C154945302 @default.
• W798152072 hasConcept C157915830 @default.
• W798152072 hasConcept C173608175 @default.
• W798152072 hasConcept C176181172 @default.
• W798152072 hasConcept C178489894 @default.
• W798152072 hasConcept C204787440 @default.
• W798152072 hasConcept C2524010 @default.
• W798152072 hasConcept C27206212 @default.
• W798152072 hasConcept C2775843773 @default.
• W798152072 hasConcept C2780385302 @default.
• W798152072 hasConcept C28719098 @default.
• W798152072 hasConcept C33884865 @default.
• W798152072 hasConcept C33923547 @default.
• W798152072 hasConcept C38652104 @default.
• W798152072 hasConcept C41008148 @default.
• W798152072 hasConcept C49937458 @default.
• W798152072 hasConcept C71924100 @default.
• W798152072 hasConcept C80444323 @default.
• W798152072 hasConcept C98045186 @default.
• W798152072 hasConceptScore W798152072C107457646 @default.
• W798152072 hasConceptScore W798152072C111919701 @default.
• W798152072 hasConceptScore W798152072C113843644 @default.
• W798152072 hasConceptScore W798152072C121822524 @default.
• W798152072 hasConceptScore W798152072C129307140 @default.
• W798152072 hasConceptScore W798152072C138885662 @default.
• W798152072 hasConceptScore W798152072C142724271 @default.
• W798152072 hasConceptScore W798152072C154945302 @default.
• W798152072 hasConceptScore W798152072C157915830 @default.
• W798152072 hasConceptScore W798152072C173608175 @default.
• W798152072 hasConceptScore W798152072C176181172 @default.
• W798152072 hasConceptScore W798152072C178489894 @default.
• W798152072 hasConceptScore W798152072C204787440 @default.
• W798152072 hasConceptScore W798152072C2524010 @default.
• W798152072 hasConceptScore W798152072C27206212 @default.
• W798152072 hasConceptScore W798152072C2775843773 @default.
• W798152072 hasConceptScore W798152072C2780385302 @default.
• W798152072 hasConceptScore W798152072C28719098 @default.
• W798152072 hasConceptScore W798152072C33884865 @default.
• W798152072 hasConceptScore W798152072C33923547 @default.
• W798152072 hasConceptScore W798152072C38652104 @default.
• W798152072 hasConceptScore W798152072C41008148 @default.
• W798152072 hasConceptScore W798152072C49937458 @default.
• W798152072 hasConceptScore W798152072C71924100 @default.
• W798152072 hasConceptScore W798152072C80444323 @default.

• next