FRINK Linked Data Fragments server

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

• W2970019431 abstract "The increase of the digitalization taking place in various industrial domains is leading developers towards the design and implementation of more and more complex networked control systems (NCS) supported by Wireless Sensor Networks (WSN). This naturally raises new challenges for the current WSN technology, namely in what concerns improved guarantees of technical aspects such as real-time communications together with safe and secure transmissions. Notably, in what concerns security aspects, several cryptographic protocols have been proposed. Since the design of these protocols is usually error-prone, security breaches can still be exposed and MALICIOUSly exploited unless they are rigorously analyzed and verified. In this paper we formally verify, using ProVerif, three cryptographic protocols used in WSN, regarding the security properties of secrecy and authenticity. The security analysis performed in this paper is more robust than the ones performed in related work. Our contributions involve analyzing protocols that were modeled considering an unbounded number of participants and actions, and also the use of a hierarchical system to classify the authenticity results. Our verification shows that the three analyzed protocols guarantee secrecy, but can only provide authenticity in specific scenarios." @default.
• W2970019431 created "2019-09-05" @default.
• W2970019431 creator A5002757956 @default.
• W2970019431 creator A5018237145 @default.
• W2970019431 creator A5022469786 @default.
• W2970019431 creator A5048740322 @default.
• W2970019431 creator A5079059749 @default.
• W2970019431 creator A5086855987 @default.
• W2970019431 date "2019-07-01" @default.
• W2970019431 modified "2023-09-23" @default.
• W2970019431 title "Security in Wireless Sensor Networks: A formal verification of protocols" @default.
• W2970019431 cites W1652714411 @default.
• W2970019431 cites W1837982953 @default.
• W2970019431 cites W1967662957 @default.
• W2970019431 cites W2024279322 @default.
• W2970019431 cites W2029693536 @default.
• W2970019431 cites W2032815070 @default.
• W2970019431 cites W2066315249 @default.
• W2970019431 cites W2072063356 @default.
• W2970019431 cites W2072309970 @default.
• W2970019431 cites W2073251578 @default.
• W2970019431 cites W2076587863 @default.
• W2970019431 cites W2084453779 @default.
• W2970019431 cites W2091648827 @default.
• W2970019431 cites W2104130981 @default.
• W2970019431 cites W2145415641 @default.
• W2970019431 cites W2146973388 @default.
• W2970019431 cites W2150010995 @default.
• W2970019431 cites W2169908972 @default.
• W2970019431 cites W2193009415 @default.
• W2970019431 cites W2508881716 @default.
• W2970019431 cites W2520436999 @default.
• W2970019431 cites W2544274814 @default.
• W2970019431 cites W2592416275 @default.
• W2970019431 cites W2599557761 @default.
• W2970019431 cites W2603096593 @default.
• W2970019431 cites W2771152181 @default.
• W2970019431 cites W2790985366 @default.
• W2970019431 doi "https://doi.org/10.1109/indin41052.2019.8972080" @default.
• W2970019431 hasPublicationYear "2019" @default.
• W2970019431 type Work @default.
• W2970019431 sameAs 2970019431 @default.
• W2970019431 citedByCount "1" @default.
• W2970019431 countsByYear W29700194312022 @default.
• W2970019431 crossrefType "proceedings-article" @default.
• W2970019431 hasAuthorship W2970019431A5002757956 @default.
• W2970019431 hasAuthorship W2970019431A5018237145 @default.
• W2970019431 hasAuthorship W2970019431A5022469786 @default.
• W2970019431 hasAuthorship W2970019431A5048740322 @default.
• W2970019431 hasAuthorship W2970019431A5079059749 @default.
• W2970019431 hasAuthorship W2970019431A5086855987 @default.
• W2970019431 hasConcept C111498074 @default.
• W2970019431 hasConcept C120314980 @default.
• W2970019431 hasConcept C148730421 @default.
• W2970019431 hasConcept C15927051 @default.
• W2970019431 hasConcept C178489894 @default.
• W2970019431 hasConcept C203062551 @default.
• W2970019431 hasConcept C205009425 @default.
• W2970019431 hasConcept C24590314 @default.
• W2970019431 hasConcept C2776452267 @default.
• W2970019431 hasConcept C31258907 @default.
• W2970019431 hasConcept C33884865 @default.
• W2970019431 hasConcept C38652104 @default.
• W2970019431 hasConcept C41008148 @default.
• W2970019431 hasConcept C555944384 @default.
• W2970019431 hasConcept C76155785 @default.
• W2970019431 hasConcept C80444323 @default.
• W2970019431 hasConceptScore W2970019431C111498074 @default.
• W2970019431 hasConceptScore W2970019431C120314980 @default.
• W2970019431 hasConceptScore W2970019431C148730421 @default.
• W2970019431 hasConceptScore W2970019431C15927051 @default.
• W2970019431 hasConceptScore W2970019431C178489894 @default.
• W2970019431 hasConceptScore W2970019431C203062551 @default.
• W2970019431 hasConceptScore W2970019431C205009425 @default.
• W2970019431 hasConceptScore W2970019431C24590314 @default.
• W2970019431 hasConceptScore W2970019431C2776452267 @default.
• W2970019431 hasConceptScore W2970019431C31258907 @default.
• W2970019431 hasConceptScore W2970019431C33884865 @default.
• W2970019431 hasConceptScore W2970019431C38652104 @default.
• W2970019431 hasConceptScore W2970019431C41008148 @default.
• W2970019431 hasConceptScore W2970019431C555944384 @default.
• W2970019431 hasConceptScore W2970019431C76155785 @default.
• W2970019431 hasConceptScore W2970019431C80444323 @default.
• W2970019431 hasLocation W29700194311 @default.
• W2970019431 hasOpenAccess W2970019431 @default.
• W2970019431 hasPrimaryLocation W29700194311 @default.
• W2970019431 hasRelatedWork W1507836603 @default.
• W2970019431 hasRelatedWork W1673896036 @default.
• W2970019431 hasRelatedWork W1928037503 @default.
• W2970019431 hasRelatedWork W1968613282 @default.
• W2970019431 hasRelatedWork W2095648292 @default.
• W2970019431 hasRelatedWork W2148701756 @default.
• W2970019431 hasRelatedWork W2328319222 @default.
• W2970019431 hasRelatedWork W2339277093 @default.
• W2970019431 hasRelatedWork W2767180070 @default.
• W2970019431 hasRelatedWork W2775154799 @default.
• W2970019431 hasRelatedWork W2886305386 @default.
• W2970019431 hasRelatedWork W2907567206 @default.
• W2970019431 hasRelatedWork W2910805148 @default.
• W2970019431 hasRelatedWork W2941801759 @default.

• next