Matches in SemOpenAlex for { <https://semopenalex.org/work/W145498143> ?p ?o ?g. }
Showing items 1 to 75 of
75
with 100 items per page.
- W145498143 abstract "This report presents a simple example to demonstrate that the composition of a “fault-tolerant” service and a “secure” service does not necessarily provide a secure and fault-tolerant service. The example is originally due to Peleska, who argues that to achieve the combined service, it is necessary to strengthen one of the individual services to address both concerns. In contrast, I argue that the individual services should be “deconstructed” into smaller and weaker components that can be reassembled in different ways, and I show that the combined service can be achieved by composing the fault-tolerant service with a weaker version of the secure service. The report also provides an introduction to the use of mechanized formal state exploration methods (specifically, the Murφ system from Stanford) for the purpose of examining and debugging protocols." @default.
- W145498143 created "2016-06-24" @default.
- W145498143 creator A5020087247 @default.
- W145498143 date "2005-01-01" @default.
- W145498143 modified "2023-09-23" @default.
- W145498143 title "Combining System Properties: A Cautionary Example and Formal Examination" @default.
- W145498143 cites W1857327297 @default.
- W145498143 cites W1978358700 @default.
- W145498143 cites W2046136445 @default.
- W145498143 cites W2061438988 @default.
- W145498143 cites W2114092850 @default.
- W145498143 cites W2114224327 @default.
- W145498143 cites W2134323418 @default.
- W145498143 cites W3144368627 @default.
- W145498143 hasPublicationYear "2005" @default.
- W145498143 type Work @default.
- W145498143 sameAs 145498143 @default.
- W145498143 citedByCount "0" @default.
- W145498143 crossrefType "journal-article" @default.
- W145498143 hasAuthorship W145498143A5020087247 @default.
- W145498143 hasConcept C111472728 @default.
- W145498143 hasConcept C115903868 @default.
- W145498143 hasConcept C120314980 @default.
- W145498143 hasConcept C138885662 @default.
- W145498143 hasConcept C144133560 @default.
- W145498143 hasConcept C162853370 @default.
- W145498143 hasConcept C168065819 @default.
- W145498143 hasConcept C199360897 @default.
- W145498143 hasConcept C2780378061 @default.
- W145498143 hasConcept C2780586882 @default.
- W145498143 hasConcept C38652104 @default.
- W145498143 hasConcept C41008148 @default.
- W145498143 hasConcept C63540848 @default.
- W145498143 hasConcept C75606506 @default.
- W145498143 hasConceptScore W145498143C111472728 @default.
- W145498143 hasConceptScore W145498143C115903868 @default.
- W145498143 hasConceptScore W145498143C120314980 @default.
- W145498143 hasConceptScore W145498143C138885662 @default.
- W145498143 hasConceptScore W145498143C144133560 @default.
- W145498143 hasConceptScore W145498143C162853370 @default.
- W145498143 hasConceptScore W145498143C168065819 @default.
- W145498143 hasConceptScore W145498143C199360897 @default.
- W145498143 hasConceptScore W145498143C2780378061 @default.
- W145498143 hasConceptScore W145498143C2780586882 @default.
- W145498143 hasConceptScore W145498143C38652104 @default.
- W145498143 hasConceptScore W145498143C41008148 @default.
- W145498143 hasConceptScore W145498143C63540848 @default.
- W145498143 hasConceptScore W145498143C75606506 @default.
- W145498143 hasLocation W1454981431 @default.
- W145498143 hasOpenAccess W145498143 @default.
- W145498143 hasPrimaryLocation W1454981431 @default.
- W145498143 hasRelatedWork W125106562 @default.
- W145498143 hasRelatedWork W1568191380 @default.
- W145498143 hasRelatedWork W1864488268 @default.
- W145498143 hasRelatedWork W1994051723 @default.
- W145498143 hasRelatedWork W2024025547 @default.
- W145498143 hasRelatedWork W2074901610 @default.
- W145498143 hasRelatedWork W2250100511 @default.
- W145498143 hasRelatedWork W2292517751 @default.
- W145498143 hasRelatedWork W2296327877 @default.
- W145498143 hasRelatedWork W2318286271 @default.
- W145498143 hasRelatedWork W2330593560 @default.
- W145498143 hasRelatedWork W2604275740 @default.
- W145498143 hasRelatedWork W2740981902 @default.
- W145498143 hasRelatedWork W2762665353 @default.
- W145498143 hasRelatedWork W2936570495 @default.
- W145498143 hasRelatedWork W2952897220 @default.
- W145498143 hasRelatedWork W2986496494 @default.
- W145498143 hasRelatedWork W3106234539 @default.
- W145498143 hasRelatedWork W3166715420 @default.
- W145498143 hasRelatedWork W343556549 @default.
- W145498143 isParatext "false" @default.
- W145498143 isRetracted "false" @default.
- W145498143 magId "145498143" @default.
- W145498143 workType "article" @default.