FRINK Linked Data Fragments server

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

• W4387567481 abstract "Even if the verification of authentication protocols can be achieved through formal analysis, the modelling of such an activity is an error-prone task due to the lack of automated and integrated processes. This paper relies on Unified Modeling Language (UML) profiling and model-transformation techniques to enable automatic analysis of authentication protocols starting from high-level models. The original contribution of this paper is a concrete toolchain, based on a modular approach, to support the modelling and analysis of authentication protocols. In particular, we propose three nested Extended Backus-Naur Form (EBNF) grammars for the high-level specification of the protocol and a transformation from the high-level specification into a specific target language, that is Alice & Bob extended (AnBx). The generated AnBx model can be then formally checked with the Open-Source Fixed-Point Model Checker (OFMC) tool. The validity and necessity of the proposed toolchain is demonstrated with a case study taken from the literature." @default.
• W4387567481 created "2023-10-13" @default.
• W4387567481 creator A5010101710 @default.
• W4387567481 creator A5028980441 @default.
• W4387567481 creator A5056137267 @default.
• W4387567481 creator A5077638655 @default.
• W4387567481 date "2023-09-12" @default.
• W4387567481 modified "2023-10-13" @default.
• W4387567481 title "Demonstrating the Necessity of Model Generation in Security Protocol Verification" @default.
• W4387567481 cites W1486178352 @default.
• W4387567481 cites W1568243475 @default.
• W4387567481 cites W1669992463 @default.
• W4387567481 cites W1854505397 @default.
• W4387567481 cites W1963887709 @default.
• W4387567481 cites W1993168825 @default.
• W4387567481 cites W2067948398 @default.
• W4387567481 cites W2099811111 @default.
• W4387567481 cites W2132544882 @default.
• W4387567481 cites W2168204607 @default.
• W4387567481 cites W2226491245 @default.
• W4387567481 cites W2233932428 @default.
• W4387567481 cites W2353034757 @default.
• W4387567481 cites W2755607299 @default.
• W4387567481 cites W2895572312 @default.
• W4387567481 cites W3005110118 @default.
• W4387567481 cites W3033770216 @default.
• W4387567481 cites W3134581690 @default.
• W4387567481 cites W4293045876 @default.
• W4387567481 cites W4301000707 @default.
• W4387567481 cites W4320494165 @default.
• W4387567481 doi "https://doi.org/10.1109/etfa54631.2023.10275424" @default.
• W4387567481 hasPublicationYear "2023" @default.
• W4387567481 type Work @default.
• W4387567481 citedByCount "0" @default.
• W4387567481 crossrefType "proceedings-article" @default.
• W4387567481 hasAuthorship W4387567481A5010101710 @default.
• W4387567481 hasAuthorship W4387567481A5028980441 @default.
• W4387567481 hasAuthorship W4387567481A5056137267 @default.
• W4387567481 hasAuthorship W4387567481A5077638655 @default.
• W4387567481 hasConcept C101468663 @default.
• W4387567481 hasConcept C104317684 @default.
• W4387567481 hasConcept C110251889 @default.
• W4387567481 hasConcept C111498074 @default.
• W4387567481 hasConcept C11413529 @default.
• W4387567481 hasConcept C115903868 @default.
• W4387567481 hasConcept C142724271 @default.
• W4387567481 hasConcept C145644426 @default.
• W4387567481 hasConcept C154945302 @default.
• W4387567481 hasConcept C178489894 @default.
• W4387567481 hasConcept C179603123 @default.
• W4387567481 hasConcept C185592680 @default.
• W4387567481 hasConcept C199360897 @default.
• W4387567481 hasConcept C204241405 @default.
• W4387567481 hasConcept C204787440 @default.
• W4387567481 hasConcept C21564112 @default.
• W4387567481 hasConcept C2776436953 @default.
• W4387567481 hasConcept C2777062904 @default.
• W4387567481 hasConcept C2777904410 @default.
• W4387567481 hasConcept C2779791154 @default.
• W4387567481 hasConcept C2780385302 @default.
• W4387567481 hasConcept C33884865 @default.
• W4387567481 hasConcept C41008148 @default.
• W4387567481 hasConcept C55493867 @default.
• W4387567481 hasConcept C71924100 @default.
• W4387567481 hasConcept C75606506 @default.
• W4387567481 hasConcept C99138194 @default.
• W4387567481 hasConceptScore W4387567481C101468663 @default.
• W4387567481 hasConceptScore W4387567481C104317684 @default.
• W4387567481 hasConceptScore W4387567481C110251889 @default.
• W4387567481 hasConceptScore W4387567481C111498074 @default.
• W4387567481 hasConceptScore W4387567481C11413529 @default.
• W4387567481 hasConceptScore W4387567481C115903868 @default.
• W4387567481 hasConceptScore W4387567481C142724271 @default.
• W4387567481 hasConceptScore W4387567481C145644426 @default.
• W4387567481 hasConceptScore W4387567481C154945302 @default.
• W4387567481 hasConceptScore W4387567481C178489894 @default.
• W4387567481 hasConceptScore W4387567481C179603123 @default.
• W4387567481 hasConceptScore W4387567481C185592680 @default.
• W4387567481 hasConceptScore W4387567481C199360897 @default.
• W4387567481 hasConceptScore W4387567481C204241405 @default.
• W4387567481 hasConceptScore W4387567481C204787440 @default.
• W4387567481 hasConceptScore W4387567481C21564112 @default.
• W4387567481 hasConceptScore W4387567481C2776436953 @default.
• W4387567481 hasConceptScore W4387567481C2777062904 @default.
• W4387567481 hasConceptScore W4387567481C2777904410 @default.
• W4387567481 hasConceptScore W4387567481C2779791154 @default.
• W4387567481 hasConceptScore W4387567481C2780385302 @default.
• W4387567481 hasConceptScore W4387567481C33884865 @default.
• W4387567481 hasConceptScore W4387567481C41008148 @default.
• W4387567481 hasConceptScore W4387567481C55493867 @default.
• W4387567481 hasConceptScore W4387567481C71924100 @default.
• W4387567481 hasConceptScore W4387567481C75606506 @default.
• W4387567481 hasConceptScore W4387567481C99138194 @default.
• W4387567481 hasLocation W43875674811 @default.
• W4387567481 hasOpenAccess W4387567481 @default.
• W4387567481 hasPrimaryLocation W43875674811 @default.
• W4387567481 hasRelatedWork W1983257407 @default.
• W4387567481 hasRelatedWork W2012419967 @default.
• W4387567481 hasRelatedWork W2148591238 @default.
• W4387567481 hasRelatedWork W2165548140 @default.

• next