Matches in SemOpenAlex for { <https://semopenalex.org/work/W1508581645> ?p ?o ?g. }
Showing items 1 to 79 of
79
with 100 items per page.
- W1508581645 abstract "Abstract : This paper presents research towards the formal specification and verification of a secure distributed system and secure application programs that run on it. We refer to the whole system from hardware to application programs written in a concurrent programming language as the Silo and to a simplified view of the Silo as the minisilo. Both minisilo and Silo consist of a collection of microprocessors interconnected by a network a distributed operating, system and a compiler for a distributed programming language. Our goal is to verify the full Silo by mechanized layered formal proof using the higher order logic theorem proving system HOL. This paper describes our current results for verifying the minisilo and our incremental approach for evolving the verification of the minisilo into the verification of the full Silo. Scalability is addressed in part - extending, the distributed operating, system with additional server which in turn provide services that extend the programming language." @default.
- W1508581645 created "2016-06-24" @default.
- W1508581645 creator A5003293441 @default.
- W1508581645 creator A5009965537 @default.
- W1508581645 creator A5051046470 @default.
- W1508581645 creator A5059228329 @default.
- W1508581645 creator A5062249962 @default.
- W1508581645 creator A5078307483 @default.
- W1508581645 creator A5083901729 @default.
- W1508581645 date "1994-01-01" @default.
- W1508581645 modified "2023-09-23" @default.
- W1508581645 title "Towards a Formal Verification of a Secure and Distributed System and Its Applications" @default.
- W1508581645 hasPublicationYear "1994" @default.
- W1508581645 type Work @default.
- W1508581645 sameAs 1508581645 @default.
- W1508581645 citedByCount "0" @default.
- W1508581645 crossrefType "journal-article" @default.
- W1508581645 hasAuthorship W1508581645A5003293441 @default.
- W1508581645 hasAuthorship W1508581645A5009965537 @default.
- W1508581645 hasAuthorship W1508581645A5051046470 @default.
- W1508581645 hasAuthorship W1508581645A5059228329 @default.
- W1508581645 hasAuthorship W1508581645A5062249962 @default.
- W1508581645 hasAuthorship W1508581645A5078307483 @default.
- W1508581645 hasAuthorship W1508581645A5083901729 @default.
- W1508581645 hasConcept C111498074 @default.
- W1508581645 hasConcept C111919701 @default.
- W1508581645 hasConcept C120314980 @default.
- W1508581645 hasConcept C122783720 @default.
- W1508581645 hasConcept C127413603 @default.
- W1508581645 hasConcept C169590947 @default.
- W1508581645 hasConcept C17435882 @default.
- W1508581645 hasConcept C199360897 @default.
- W1508581645 hasConcept C206880738 @default.
- W1508581645 hasConcept C2778024958 @default.
- W1508581645 hasConcept C41008148 @default.
- W1508581645 hasConcept C48044578 @default.
- W1508581645 hasConcept C75606506 @default.
- W1508581645 hasConcept C78519656 @default.
- W1508581645 hasConceptScore W1508581645C111498074 @default.
- W1508581645 hasConceptScore W1508581645C111919701 @default.
- W1508581645 hasConceptScore W1508581645C120314980 @default.
- W1508581645 hasConceptScore W1508581645C122783720 @default.
- W1508581645 hasConceptScore W1508581645C127413603 @default.
- W1508581645 hasConceptScore W1508581645C169590947 @default.
- W1508581645 hasConceptScore W1508581645C17435882 @default.
- W1508581645 hasConceptScore W1508581645C199360897 @default.
- W1508581645 hasConceptScore W1508581645C206880738 @default.
- W1508581645 hasConceptScore W1508581645C2778024958 @default.
- W1508581645 hasConceptScore W1508581645C41008148 @default.
- W1508581645 hasConceptScore W1508581645C48044578 @default.
- W1508581645 hasConceptScore W1508581645C75606506 @default.
- W1508581645 hasConceptScore W1508581645C78519656 @default.
- W1508581645 hasLocation W15085816451 @default.
- W1508581645 hasOpenAccess W1508581645 @default.
- W1508581645 hasPrimaryLocation W15085816451 @default.
- W1508581645 hasRelatedWork W1507653811 @default.
- W1508581645 hasRelatedWork W1551363727 @default.
- W1508581645 hasRelatedWork W1557405201 @default.
- W1508581645 hasRelatedWork W1563319185 @default.
- W1508581645 hasRelatedWork W1836717328 @default.
- W1508581645 hasRelatedWork W1948000064 @default.
- W1508581645 hasRelatedWork W1983554217 @default.
- W1508581645 hasRelatedWork W1988939102 @default.
- W1508581645 hasRelatedWork W2001768364 @default.
- W1508581645 hasRelatedWork W2061454713 @default.
- W1508581645 hasRelatedWork W2084715426 @default.
- W1508581645 hasRelatedWork W2112576127 @default.
- W1508581645 hasRelatedWork W2125542630 @default.
- W1508581645 hasRelatedWork W2156910727 @default.
- W1508581645 hasRelatedWork W2207767441 @default.
- W1508581645 hasRelatedWork W2414083640 @default.
- W1508581645 hasRelatedWork W297617173 @default.
- W1508581645 hasRelatedWork W3033746640 @default.
- W1508581645 hasRelatedWork W3035582350 @default.
- W1508581645 hasRelatedWork W3186572156 @default.
- W1508581645 isParatext "false" @default.
- W1508581645 isRetracted "false" @default.
- W1508581645 magId "1508581645" @default.
- W1508581645 workType "article" @default.