Matches in SemOpenAlex for { <https://semopenalex.org/work/W1531876820> ?p ?o ?g. }
Showing items 1 to 69 of
69
with 100 items per page.
- W1531876820 endingPage "62" @default.
- W1531876820 startingPage "57" @default.
- W1531876820 abstract "We show that team automata (TA) are well suited to model secure multicast/broadcast communication with possible packet loss. This is a consequence of the natural way in which one-to-many (one-to-all) transmissions typical of multicast (broadcast) sessions can be modelled as communications between the component automata (CA) constituting a TA. To this aim, we use TA to model an instance of the EMSS multicast protocol family. In addition, we investigate a formulation of the Generalized Non-Deducibility on Compositions (GNDC) schema in terms of TA with the aim to embed TA in this well-established analysis framework. We intend to use this new setting for the formal verification of security properties for stream signature protocols." @default.
- W1531876820 created "2016-06-24" @default.
- W1531876820 creator A5056689083 @default.
- W1531876820 creator A5064415269 @default.
- W1531876820 creator A5070924321 @default.
- W1531876820 date "2003-06-01" @default.
- W1531876820 modified "2023-09-23" @default.
- W1531876820 title "Team Automata for Security Analysis of Multicast/Broadcast Communication" @default.
- W1531876820 hasPublicationYear "2003" @default.
- W1531876820 type Work @default.
- W1531876820 sameAs 1531876820 @default.
- W1531876820 citedByCount "5" @default.
- W1531876820 crossrefType "journal-article" @default.
- W1531876820 hasAuthorship W1531876820A5056689083 @default.
- W1531876820 hasAuthorship W1531876820A5064415269 @default.
- W1531876820 hasAuthorship W1531876820A5070924321 @default.
- W1531876820 hasConcept C112037812 @default.
- W1531876820 hasConcept C120314980 @default.
- W1531876820 hasConcept C150329594 @default.
- W1531876820 hasConcept C158379750 @default.
- W1531876820 hasConcept C18787934 @default.
- W1531876820 hasConcept C192059732 @default.
- W1531876820 hasConcept C31258907 @default.
- W1531876820 hasConcept C32295351 @default.
- W1531876820 hasConcept C41008148 @default.
- W1531876820 hasConcept C44871818 @default.
- W1531876820 hasConcept C44892269 @default.
- W1531876820 hasConcept C80444323 @default.
- W1531876820 hasConceptScore W1531876820C112037812 @default.
- W1531876820 hasConceptScore W1531876820C120314980 @default.
- W1531876820 hasConceptScore W1531876820C150329594 @default.
- W1531876820 hasConceptScore W1531876820C158379750 @default.
- W1531876820 hasConceptScore W1531876820C18787934 @default.
- W1531876820 hasConceptScore W1531876820C192059732 @default.
- W1531876820 hasConceptScore W1531876820C31258907 @default.
- W1531876820 hasConceptScore W1531876820C32295351 @default.
- W1531876820 hasConceptScore W1531876820C41008148 @default.
- W1531876820 hasConceptScore W1531876820C44871818 @default.
- W1531876820 hasConceptScore W1531876820C44892269 @default.
- W1531876820 hasConceptScore W1531876820C80444323 @default.
- W1531876820 hasLocation W15318768201 @default.
- W1531876820 hasOpenAccess W1531876820 @default.
- W1531876820 hasPrimaryLocation W15318768201 @default.
- W1531876820 hasRelatedWork W129267491 @default.
- W1531876820 hasRelatedWork W1495297029 @default.
- W1531876820 hasRelatedWork W1498342204 @default.
- W1531876820 hasRelatedWork W1543037105 @default.
- W1531876820 hasRelatedWork W1551214052 @default.
- W1531876820 hasRelatedWork W1966716851 @default.
- W1531876820 hasRelatedWork W1989257270 @default.
- W1531876820 hasRelatedWork W2043452331 @default.
- W1531876820 hasRelatedWork W2057629958 @default.
- W1531876820 hasRelatedWork W2077159339 @default.
- W1531876820 hasRelatedWork W2085345713 @default.
- W1531876820 hasRelatedWork W2097026789 @default.
- W1531876820 hasRelatedWork W2115681875 @default.
- W1531876820 hasRelatedWork W2140592109 @default.
- W1531876820 hasRelatedWork W2172252764 @default.
- W1531876820 hasRelatedWork W2368221930 @default.
- W1531876820 hasRelatedWork W2391223326 @default.
- W1531876820 hasRelatedWork W2392337486 @default.
- W1531876820 hasRelatedWork W2408470141 @default.
- W1531876820 hasRelatedWork W2540115318 @default.
- W1531876820 isParatext "false" @default.
- W1531876820 isRetracted "false" @default.
- W1531876820 magId "1531876820" @default.
- W1531876820 workType "article" @default.