Matches in SemOpenAlex for { <https://semopenalex.org/work/W2360118118> ?p ?o ?g. }
Showing items 1 to 69 of
69
with 100 items per page.
- W2360118118 abstract "Based on the theory of non-interference,this paper proposes an extended non-interference security model ENISM,for the purpose of specification and analysis of information flow policies in operating systems.This paper includes the following works: firstly,system modules would be recognized as domains,and the traces set which contains traces may be implemented after a system state and the data values set at the state are two most important analysis gist for defining the secure states in ENISM.Secondly,the sufficient conditions ENISM-CC are proposed on which unsafe traces and data flow is not existed.Thirdly,this paper gives out a formal description method for system design and describes the semantic ENISM-CC based on the Communicating Sequential Processes CSP." @default.
- W2360118118 created "2016-06-24" @default.
- W2360118118 creator A5084606868 @default.
- W2360118118 date "2010-01-01" @default.
- W2360118118 modified "2023-09-25" @default.
- W2360118118 title "An Extended Non-Interference Security Model(ENISM) and Its CSP-Based Description and Verification Method" @default.
- W2360118118 hasPublicationYear "2010" @default.
- W2360118118 type Work @default.
- W2360118118 sameAs 2360118118 @default.
- W2360118118 citedByCount "0" @default.
- W2360118118 crossrefType "journal-article" @default.
- W2360118118 hasAuthorship W2360118118A5084606868 @default.
- W2360118118 hasConcept C110251889 @default.
- W2360118118 hasConcept C120314980 @default.
- W2360118118 hasConcept C127162648 @default.
- W2360118118 hasConcept C154908896 @default.
- W2360118118 hasConcept C177264268 @default.
- W2360118118 hasConcept C199360897 @default.
- W2360118118 hasConcept C31258907 @default.
- W2360118118 hasConcept C32022120 @default.
- W2360118118 hasConcept C38652104 @default.
- W2360118118 hasConcept C41008148 @default.
- W2360118118 hasConcept C48103436 @default.
- W2360118118 hasConcept C489000 @default.
- W2360118118 hasConcept C75606506 @default.
- W2360118118 hasConcept C77088390 @default.
- W2360118118 hasConcept C80444323 @default.
- W2360118118 hasConceptScore W2360118118C110251889 @default.
- W2360118118 hasConceptScore W2360118118C120314980 @default.
- W2360118118 hasConceptScore W2360118118C127162648 @default.
- W2360118118 hasConceptScore W2360118118C154908896 @default.
- W2360118118 hasConceptScore W2360118118C177264268 @default.
- W2360118118 hasConceptScore W2360118118C199360897 @default.
- W2360118118 hasConceptScore W2360118118C31258907 @default.
- W2360118118 hasConceptScore W2360118118C32022120 @default.
- W2360118118 hasConceptScore W2360118118C38652104 @default.
- W2360118118 hasConceptScore W2360118118C41008148 @default.
- W2360118118 hasConceptScore W2360118118C48103436 @default.
- W2360118118 hasConceptScore W2360118118C489000 @default.
- W2360118118 hasConceptScore W2360118118C75606506 @default.
- W2360118118 hasConceptScore W2360118118C77088390 @default.
- W2360118118 hasConceptScore W2360118118C80444323 @default.
- W2360118118 hasLocation W23601181181 @default.
- W2360118118 hasOpenAccess W2360118118 @default.
- W2360118118 hasPrimaryLocation W23601181181 @default.
- W2360118118 hasRelatedWork W1023031443 @default.
- W2360118118 hasRelatedWork W159786747 @default.
- W2360118118 hasRelatedWork W1842674863 @default.
- W2360118118 hasRelatedWork W188983636 @default.
- W2360118118 hasRelatedWork W2037457548 @default.
- W2360118118 hasRelatedWork W2074897497 @default.
- W2360118118 hasRelatedWork W2122539144 @default.
- W2360118118 hasRelatedWork W2183963042 @default.
- W2360118118 hasRelatedWork W2320822003 @default.
- W2360118118 hasRelatedWork W2337199695 @default.
- W2360118118 hasRelatedWork W2464872518 @default.
- W2360118118 hasRelatedWork W2612475455 @default.
- W2360118118 hasRelatedWork W2715189260 @default.
- W2360118118 hasRelatedWork W2755049389 @default.
- W2360118118 hasRelatedWork W2890524062 @default.
- W2360118118 hasRelatedWork W2949252017 @default.
- W2360118118 hasRelatedWork W3094514829 @default.
- W2360118118 hasRelatedWork W3124334311 @default.
- W2360118118 hasRelatedWork W3127524265 @default.
- W2360118118 hasRelatedWork W3175446617 @default.
- W2360118118 isParatext "false" @default.
- W2360118118 isRetracted "false" @default.
- W2360118118 magId "2360118118" @default.
- W2360118118 workType "article" @default.