Matches in SemOpenAlex for { <https://semopenalex.org/work/W6807041> ?p ?o ?g. }
Showing items 1 to 93 of
93
with 100 items per page.
- W6807041 endingPage "142" @default.
- W6807041 startingPage "126" @default.
- W6807041 abstract "The Timed Observational Transition System (TOTS)/CafeOBJ method is a version of the OTS/CafeOBJ method for modeling, specification and verification of distributed systems and protocols with real time constraints. In this paper we report on a case study from the field of source authentication protocols, TESLA protocol, to show the application of the method to such complex systems. We prove that our model of the protocol satisfies that the receiver does not accept as authentic any message unless it was actually sent by the sender. To verify the property we have used several other invariants which include timing information. To our knowledge, this is the first time that the method has been applied to the formal analysis of such a complex protocol." @default.
- W6807041 created "2016-06-24" @default.
- W6807041 creator A5030173635 @default.
- W6807041 creator A5054530000 @default.
- W6807041 creator A5067450953 @default.
- W6807041 date "2012-01-01" @default.
- W6807041 modified "2023-09-27" @default.
- W6807041 title "Formal Analysis of TESLA Protocol in the Timed OTS/CafeOBJ Method" @default.
- W6807041 cites W119570465 @default.
- W6807041 cites W1498922229 @default.
- W6807041 cites W1510908891 @default.
- W6807041 cites W1517272117 @default.
- W6807041 cites W1570553421 @default.
- W6807041 cites W1595022171 @default.
- W6807041 cites W1978871758 @default.
- W6807041 cites W2029693536 @default.
- W6807041 cites W2031130420 @default.
- W6807041 cites W2041617655 @default.
- W6807041 cites W2053701705 @default.
- W6807041 cites W2076513239 @default.
- W6807041 cites W2134287022 @default.
- W6807041 cites W2493642530 @default.
- W6807041 cites W4238794324 @default.
- W6807041 doi "https://doi.org/10.1007/978-3-642-34032-1_15" @default.
- W6807041 hasPublicationYear "2012" @default.
- W6807041 type Work @default.
- W6807041 sameAs 6807041 @default.
- W6807041 citedByCount "9" @default.
- W6807041 countsByYear W68070412012 @default.
- W6807041 countsByYear W68070412014 @default.
- W6807041 countsByYear W68070412015 @default.
- W6807041 countsByYear W68070412017 @default.
- W6807041 crossrefType "book-chapter" @default.
- W6807041 hasAuthorship W6807041A5030173635 @default.
- W6807041 hasAuthorship W6807041A5054530000 @default.
- W6807041 hasAuthorship W6807041A5067450953 @default.
- W6807041 hasConcept C110251889 @default.
- W6807041 hasConcept C111472728 @default.
- W6807041 hasConcept C111498074 @default.
- W6807041 hasConcept C138885662 @default.
- W6807041 hasConcept C142724271 @default.
- W6807041 hasConcept C189950617 @default.
- W6807041 hasConcept C198104137 @default.
- W6807041 hasConcept C199360897 @default.
- W6807041 hasConcept C202444582 @default.
- W6807041 hasConcept C204787440 @default.
- W6807041 hasConcept C2779167558 @default.
- W6807041 hasConcept C2780385302 @default.
- W6807041 hasConcept C31258907 @default.
- W6807041 hasConcept C33923547 @default.
- W6807041 hasConcept C41008148 @default.
- W6807041 hasConcept C71924100 @default.
- W6807041 hasConcept C75606506 @default.
- W6807041 hasConcept C80444323 @default.
- W6807041 hasConcept C9652623 @default.
- W6807041 hasConceptScore W6807041C110251889 @default.
- W6807041 hasConceptScore W6807041C111472728 @default.
- W6807041 hasConceptScore W6807041C111498074 @default.
- W6807041 hasConceptScore W6807041C138885662 @default.
- W6807041 hasConceptScore W6807041C142724271 @default.
- W6807041 hasConceptScore W6807041C189950617 @default.
- W6807041 hasConceptScore W6807041C198104137 @default.
- W6807041 hasConceptScore W6807041C199360897 @default.
- W6807041 hasConceptScore W6807041C202444582 @default.
- W6807041 hasConceptScore W6807041C204787440 @default.
- W6807041 hasConceptScore W6807041C2779167558 @default.
- W6807041 hasConceptScore W6807041C2780385302 @default.
- W6807041 hasConceptScore W6807041C31258907 @default.
- W6807041 hasConceptScore W6807041C33923547 @default.
- W6807041 hasConceptScore W6807041C41008148 @default.
- W6807041 hasConceptScore W6807041C71924100 @default.
- W6807041 hasConceptScore W6807041C75606506 @default.
- W6807041 hasConceptScore W6807041C80444323 @default.
- W6807041 hasConceptScore W6807041C9652623 @default.
- W6807041 hasLocation W68070411 @default.
- W6807041 hasOpenAccess W6807041 @default.
- W6807041 hasPrimaryLocation W68070411 @default.
- W6807041 hasRelatedWork W1548937009 @default.
- W6807041 hasRelatedWork W1592393183 @default.
- W6807041 hasRelatedWork W1601757209 @default.
- W6807041 hasRelatedWork W2155162307 @default.
- W6807041 hasRelatedWork W2370841479 @default.
- W6807041 hasRelatedWork W2378505291 @default.
- W6807041 hasRelatedWork W3134155728 @default.
- W6807041 hasRelatedWork W4287274265 @default.
- W6807041 hasRelatedWork W4312254064 @default.
- W6807041 hasRelatedWork W6807041 @default.
- W6807041 isParatext "false" @default.
- W6807041 isRetracted "false" @default.
- W6807041 magId "6807041" @default.
- W6807041 workType "book-chapter" @default.