Matches in SemOpenAlex for { <https://semopenalex.org/work/W2574672207> ?p ?o ?g. }
Showing items 1 to 85 of
85
with 100 items per page.
- W2574672207 abstract "The Resurrecting Duckling is a powerful security policy widely used in ad-hoc networks having devices with low processing capabilities. Focusing the master-slave relationship between any two network nodes, The Resurrecting Duckling is aimed at secure transient association. Hierarchical Coloured Petri Nets are descendants of Coloured Petri Nets which facilitates to organize a large model of any system into multiple coordinating subnets. This paper presents a formal model of The Resurrecting Duckling in terms of hierarchical Coloured Petri Nets. Firstly, the two entities called the duck and the duckling have been mathematically specified as two subnets. Then the dynamics of the security policy i.e the three cases of death namely; death by service completion, death by time and death by duck's instruction, have been modeled and each of them is verified using Reachability Graph. Finally the complete formal model of the Resurrecting Duckling has been verified using Simulation of CPN Tools." @default.
- W2574672207 created "2017-01-26" @default.
- W2574672207 creator A5022909686 @default.
- W2574672207 creator A5039860957 @default.
- W2574672207 date "2016-10-01" @default.
- W2574672207 modified "2023-09-26" @default.
- W2574672207 title "Formalizing the resurrecting duckling into hierarchical coloured Petri nets" @default.
- W2574672207 cites W137511291 @default.
- W2574672207 cites W1453399035 @default.
- W2574672207 cites W1494291086 @default.
- W2574672207 cites W1513588592 @default.
- W2574672207 cites W1542316315 @default.
- W2574672207 cites W1570372094 @default.
- W2574672207 cites W1577572710 @default.
- W2574672207 cites W2019883396 @default.
- W2574672207 cites W2061222159 @default.
- W2574672207 cites W2139480393 @default.
- W2574672207 cites W2171523375 @default.
- W2574672207 cites W2227487674 @default.
- W2574672207 cites W2394622761 @default.
- W2574672207 cites W2471995281 @default.
- W2574672207 cites W2847777968 @default.
- W2574672207 cites W3023064319 @default.
- W2574672207 cites W597273825 @default.
- W2574672207 doi "https://doi.org/10.1109/icet.2016.7813214" @default.
- W2574672207 hasPublicationYear "2016" @default.
- W2574672207 type Work @default.
- W2574672207 sameAs 2574672207 @default.
- W2574672207 citedByCount "0" @default.
- W2574672207 crossrefType "proceedings-article" @default.
- W2574672207 hasAuthorship W2574672207A5022909686 @default.
- W2574672207 hasAuthorship W2574672207A5039860957 @default.
- W2574672207 hasConcept C110251889 @default.
- W2574672207 hasConcept C111498074 @default.
- W2574672207 hasConcept C120314980 @default.
- W2574672207 hasConcept C132525143 @default.
- W2574672207 hasConcept C136155141 @default.
- W2574672207 hasConcept C136643341 @default.
- W2574672207 hasConcept C146763376 @default.
- W2574672207 hasConcept C197551870 @default.
- W2574672207 hasConcept C38677869 @default.
- W2574672207 hasConcept C41008148 @default.
- W2574672207 hasConcept C54355233 @default.
- W2574672207 hasConcept C80444323 @default.
- W2574672207 hasConcept C86803240 @default.
- W2574672207 hasConceptScore W2574672207C110251889 @default.
- W2574672207 hasConceptScore W2574672207C111498074 @default.
- W2574672207 hasConceptScore W2574672207C120314980 @default.
- W2574672207 hasConceptScore W2574672207C132525143 @default.
- W2574672207 hasConceptScore W2574672207C136155141 @default.
- W2574672207 hasConceptScore W2574672207C136643341 @default.
- W2574672207 hasConceptScore W2574672207C146763376 @default.
- W2574672207 hasConceptScore W2574672207C197551870 @default.
- W2574672207 hasConceptScore W2574672207C38677869 @default.
- W2574672207 hasConceptScore W2574672207C41008148 @default.
- W2574672207 hasConceptScore W2574672207C54355233 @default.
- W2574672207 hasConceptScore W2574672207C80444323 @default.
- W2574672207 hasConceptScore W2574672207C86803240 @default.
- W2574672207 hasLocation W25746722071 @default.
- W2574672207 hasOpenAccess W2574672207 @default.
- W2574672207 hasPrimaryLocation W25746722071 @default.
- W2574672207 hasRelatedWork W1540501166 @default.
- W2574672207 hasRelatedWork W1572660965 @default.
- W2574672207 hasRelatedWork W1804902635 @default.
- W2574672207 hasRelatedWork W1859111396 @default.
- W2574672207 hasRelatedWork W1997575049 @default.
- W2574672207 hasRelatedWork W2035381398 @default.
- W2574672207 hasRelatedWork W2069127450 @default.
- W2574672207 hasRelatedWork W2138165749 @default.
- W2574672207 hasRelatedWork W2138723607 @default.
- W2574672207 hasRelatedWork W2157413872 @default.
- W2574672207 hasRelatedWork W2268694616 @default.
- W2574672207 hasRelatedWork W2278302436 @default.
- W2574672207 hasRelatedWork W2396571868 @default.
- W2574672207 hasRelatedWork W2499949123 @default.
- W2574672207 hasRelatedWork W2519637596 @default.
- W2574672207 hasRelatedWork W2536770595 @default.
- W2574672207 hasRelatedWork W2729769558 @default.
- W2574672207 hasRelatedWork W2933939688 @default.
- W2574672207 hasRelatedWork W2993945154 @default.
- W2574672207 hasRelatedWork W2184854305 @default.
- W2574672207 isParatext "false" @default.
- W2574672207 isRetracted "false" @default.
- W2574672207 magId "2574672207" @default.
- W2574672207 workType "article" @default.