Matches in SemOpenAlex for { <https://semopenalex.org/work/W1844392338> ?p ?o ?g. }
Showing items 1 to 96 of
96
with 100 items per page.
- W1844392338 endingPage "583" @default.
- W1844392338 startingPage "578" @default.
- W1844392338 abstract "This paper presents a formal model for the analysis and verification of a multi-agent system based on the Distributed Lightweight Kerberos (DLK) protocol. Verifying the security protocol exposes security defects and aids in fixing them. The verification process of the DLK protocol uses the ProVerif tool. Based on this tool, the security mechanism of the protocol is clearly exposed. The results of using ProVerif indicate that DLK is secure as initially claimed." @default.
- W1844392338 created "2016-06-24" @default.
- W1844392338 creator A5011290508 @default.
- W1844392338 creator A5016925365 @default.
- W1844392338 creator A5020682177 @default.
- W1844392338 creator A5044552714 @default.
- W1844392338 creator A5046506396 @default.
- W1844392338 date "2011-12-01" @default.
- W1844392338 modified "2023-10-14" @default.
- W1844392338 title "Formal modeling and verification of DLK protocol" @default.
- W1844392338 cites W1801505325 @default.
- W1844392338 cites W1973054120 @default.
- W1844392338 cites W1991234099 @default.
- W1844392338 cites W2027917863 @default.
- W1844392338 cites W2028267160 @default.
- W1844392338 cites W2034717157 @default.
- W1844392338 cites W2049760404 @default.
- W1844392338 cites W2069266577 @default.
- W1844392338 cites W2112396402 @default.
- W1844392338 cites W2121337813 @default.
- W1844392338 cites W2121685304 @default.
- W1844392338 cites W2139192136 @default.
- W1844392338 cites W2141956147 @default.
- W1844392338 cites W2143281626 @default.
- W1844392338 cites W2162808394 @default.
- W1844392338 cites W2168240054 @default.
- W1844392338 hasPublicationYear "2011" @default.
- W1844392338 type Work @default.
- W1844392338 sameAs 1844392338 @default.
- W1844392338 citedByCount "1" @default.
- W1844392338 countsByYear W18443923382015 @default.
- W1844392338 crossrefType "proceedings-article" @default.
- W1844392338 hasAuthorship W1844392338A5011290508 @default.
- W1844392338 hasAuthorship W1844392338A5016925365 @default.
- W1844392338 hasAuthorship W1844392338A5020682177 @default.
- W1844392338 hasAuthorship W1844392338A5044552714 @default.
- W1844392338 hasAuthorship W1844392338A5046506396 @default.
- W1844392338 hasConcept C110251889 @default.
- W1844392338 hasConcept C111498074 @default.
- W1844392338 hasConcept C142724271 @default.
- W1844392338 hasConcept C148417208 @default.
- W1844392338 hasConcept C178489894 @default.
- W1844392338 hasConcept C199360897 @default.
- W1844392338 hasConcept C204787440 @default.
- W1844392338 hasConcept C2780385302 @default.
- W1844392338 hasConcept C32455479 @default.
- W1844392338 hasConcept C33884865 @default.
- W1844392338 hasConcept C38369872 @default.
- W1844392338 hasConcept C38652104 @default.
- W1844392338 hasConcept C41008148 @default.
- W1844392338 hasConcept C71924100 @default.
- W1844392338 hasConcept C98045186 @default.
- W1844392338 hasConceptScore W1844392338C110251889 @default.
- W1844392338 hasConceptScore W1844392338C111498074 @default.
- W1844392338 hasConceptScore W1844392338C142724271 @default.
- W1844392338 hasConceptScore W1844392338C148417208 @default.
- W1844392338 hasConceptScore W1844392338C178489894 @default.
- W1844392338 hasConceptScore W1844392338C199360897 @default.
- W1844392338 hasConceptScore W1844392338C204787440 @default.
- W1844392338 hasConceptScore W1844392338C2780385302 @default.
- W1844392338 hasConceptScore W1844392338C32455479 @default.
- W1844392338 hasConceptScore W1844392338C33884865 @default.
- W1844392338 hasConceptScore W1844392338C38369872 @default.
- W1844392338 hasConceptScore W1844392338C38652104 @default.
- W1844392338 hasConceptScore W1844392338C41008148 @default.
- W1844392338 hasConceptScore W1844392338C71924100 @default.
- W1844392338 hasConceptScore W1844392338C98045186 @default.
- W1844392338 hasLocation W18443923381 @default.
- W1844392338 hasOpenAccess W1844392338 @default.
- W1844392338 hasPrimaryLocation W18443923381 @default.
- W1844392338 hasRelatedWork W1541979851 @default.
- W1844392338 hasRelatedWork W17683369 @default.
- W1844392338 hasRelatedWork W2046856381 @default.
- W1844392338 hasRelatedWork W21437858 @default.
- W1844392338 hasRelatedWork W2149851479 @default.
- W1844392338 hasRelatedWork W2340217563 @default.
- W1844392338 hasRelatedWork W2612177405 @default.
- W1844392338 hasRelatedWork W2756104523 @default.
- W1844392338 hasRelatedWork W2796757199 @default.
- W1844392338 hasRelatedWork W2894475141 @default.
- W1844392338 hasRelatedWork W2912958270 @default.
- W1844392338 hasRelatedWork W2965110131 @default.
- W1844392338 hasRelatedWork W2990004519 @default.
- W1844392338 hasRelatedWork W2992104486 @default.
- W1844392338 hasRelatedWork W3005395047 @default.
- W1844392338 hasRelatedWork W3087163302 @default.
- W1844392338 hasRelatedWork W3094700539 @default.
- W1844392338 hasRelatedWork W3124484319 @default.
- W1844392338 hasRelatedWork W6741712 @default.
- W1844392338 hasRelatedWork W3138025220 @default.
- W1844392338 isParatext "false" @default.
- W1844392338 isRetracted "false" @default.
- W1844392338 magId "1844392338" @default.
- W1844392338 workType "article" @default.