Matches in SemOpenAlex for { <https://semopenalex.org/work/W2148731609> ?p ?o ?g. }
Showing items 1 to 74 of
74
with 100 items per page.
- W2148731609 abstract "In this paper we present a generalization of McCullough's restrictiveness model as the basis for proving security properties about distributed system designs. We mechanize this generalization for an event-based model of computer systems in the HOL (Higher Order Logic) system to prove the composability of the model and several other properties about the model. We then develop a set of generalized classes of system components and show for which families of user views they satisfy the model. Using these classes we develop a collection of general system components that are specializations of one of these classes and show that the specializations also satisfy the security property. We then conclude with a sample distributed secure system, based on the Rushby and Randell distributed system design and designed using our collection of components, and show how our mechanized verification system can be used to verify such designs." @default.
- W2148731609 created "2016-06-24" @default.
- W2148731609 creator A5009965537 @default.
- W2148731609 creator A5066247715 @default.
- W2148731609 date "2005-08-24" @default.
- W2148731609 modified "2023-09-25" @default.
- W2148731609 title "Mechanical Verification Of Secure Distributed systems In Higher Order Logic" @default.
- W2148731609 cites W1509226754 @default.
- W2148731609 cites W1565996669 @default.
- W2148731609 cites W1977764760 @default.
- W2148731609 cites W1984356484 @default.
- W2148731609 cites W2006943537 @default.
- W2148731609 cites W2080914957 @default.
- W2148731609 cites W2096531533 @default.
- W2148731609 cites W2101827827 @default.
- W2148731609 cites W2132573821 @default.
- W2148731609 cites W2136898254 @default.
- W2148731609 cites W2148579499 @default.
- W2148731609 cites W3134379413 @default.
- W2148731609 cites W3144368627 @default.
- W2148731609 doi "https://doi.org/10.1109/hol.1991.596293" @default.
- W2148731609 hasPublicationYear "2005" @default.
- W2148731609 type Work @default.
- W2148731609 sameAs 2148731609 @default.
- W2148731609 citedByCount "5" @default.
- W2148731609 countsByYear W21487316092012 @default.
- W2148731609 crossrefType "proceedings-article" @default.
- W2148731609 hasAuthorship W2148731609A5009965537 @default.
- W2148731609 hasAuthorship W2148731609A5066247715 @default.
- W2148731609 hasConcept C120314980 @default.
- W2148731609 hasConcept C134306372 @default.
- W2148731609 hasConcept C177148314 @default.
- W2148731609 hasConcept C177264268 @default.
- W2148731609 hasConcept C199360897 @default.
- W2148731609 hasConcept C2778814252 @default.
- W2148731609 hasConcept C33923547 @default.
- W2148731609 hasConcept C41008148 @default.
- W2148731609 hasConcept C80444323 @default.
- W2148731609 hasConceptScore W2148731609C120314980 @default.
- W2148731609 hasConceptScore W2148731609C134306372 @default.
- W2148731609 hasConceptScore W2148731609C177148314 @default.
- W2148731609 hasConceptScore W2148731609C177264268 @default.
- W2148731609 hasConceptScore W2148731609C199360897 @default.
- W2148731609 hasConceptScore W2148731609C2778814252 @default.
- W2148731609 hasConceptScore W2148731609C33923547 @default.
- W2148731609 hasConceptScore W2148731609C41008148 @default.
- W2148731609 hasConceptScore W2148731609C80444323 @default.
- W2148731609 hasLocation W21487316091 @default.
- W2148731609 hasOpenAccess W2148731609 @default.
- W2148731609 hasPrimaryLocation W21487316091 @default.
- W2148731609 hasRelatedWork W1535978686 @default.
- W2148731609 hasRelatedWork W2006850502 @default.
- W2148731609 hasRelatedWork W2031921088 @default.
- W2148731609 hasRelatedWork W2361574795 @default.
- W2148731609 hasRelatedWork W2401985403 @default.
- W2148731609 hasRelatedWork W2516023085 @default.
- W2148731609 hasRelatedWork W2520438138 @default.
- W2148731609 hasRelatedWork W2525665404 @default.
- W2148731609 hasRelatedWork W2603347757 @default.
- W2148731609 hasRelatedWork W2759287943 @default.
- W2148731609 hasRelatedWork W2801875311 @default.
- W2148731609 hasRelatedWork W2884716674 @default.
- W2148731609 hasRelatedWork W2899100473 @default.
- W2148731609 hasRelatedWork W2911400643 @default.
- W2148731609 hasRelatedWork W2949159008 @default.
- W2148731609 hasRelatedWork W3004018778 @default.
- W2148731609 hasRelatedWork W3047023789 @default.
- W2148731609 hasRelatedWork W3096901482 @default.
- W2148731609 hasRelatedWork W808755874 @default.
- W2148731609 hasRelatedWork W2103698396 @default.
- W2148731609 isParatext "false" @default.
- W2148731609 isRetracted "false" @default.
- W2148731609 magId "2148731609" @default.
- W2148731609 workType "article" @default.