Matches in SemOpenAlex for { <https://semopenalex.org/work/W2352779353> ?p ?o ?g. }
Showing items 1 to 65 of
65
with 100 items per page.
- W2352779353 abstract "Formal method is one of the kernel technologies of developing high security level computer system.But by current formal development method,assurance of security policy model correctness cannot be provided directly using machine proof which is stricter than manual proof,correspondence between security policy model and security functional specification is also hard to achieve.To solve these problems,a new and effective method was proposed for specification constructing and proving by extending the specification technique of security functional specification into the specifica-tion of security policy model.Also,BLP model was specified and analyzed as an example." @default.
- W2352779353 created "2016-06-24" @default.
- W2352779353 creator A5019046516 @default.
- W2352779353 date "2006-01-01" @default.
- W2352779353 modified "2023-09-26" @default.
- W2352779353 title "Research on formal security policy model specification and its formal analysis" @default.
- W2352779353 hasPublicationYear "2006" @default.
- W2352779353 type Work @default.
- W2352779353 sameAs 2352779353 @default.
- W2352779353 citedByCount "1" @default.
- W2352779353 crossrefType "journal-article" @default.
- W2352779353 hasAuthorship W2352779353A5019046516 @default.
- W2352779353 hasConcept C111498074 @default.
- W2352779353 hasConcept C116253237 @default.
- W2352779353 hasConcept C121822524 @default.
- W2352779353 hasConcept C14331664 @default.
- W2352779353 hasConcept C154908896 @default.
- W2352779353 hasConcept C199360897 @default.
- W2352779353 hasConcept C29983905 @default.
- W2352779353 hasConcept C38652104 @default.
- W2352779353 hasConcept C41008148 @default.
- W2352779353 hasConcept C527648132 @default.
- W2352779353 hasConcept C55439883 @default.
- W2352779353 hasConcept C62913178 @default.
- W2352779353 hasConcept C75606506 @default.
- W2352779353 hasConceptScore W2352779353C111498074 @default.
- W2352779353 hasConceptScore W2352779353C116253237 @default.
- W2352779353 hasConceptScore W2352779353C121822524 @default.
- W2352779353 hasConceptScore W2352779353C14331664 @default.
- W2352779353 hasConceptScore W2352779353C154908896 @default.
- W2352779353 hasConceptScore W2352779353C199360897 @default.
- W2352779353 hasConceptScore W2352779353C29983905 @default.
- W2352779353 hasConceptScore W2352779353C38652104 @default.
- W2352779353 hasConceptScore W2352779353C41008148 @default.
- W2352779353 hasConceptScore W2352779353C527648132 @default.
- W2352779353 hasConceptScore W2352779353C55439883 @default.
- W2352779353 hasConceptScore W2352779353C62913178 @default.
- W2352779353 hasConceptScore W2352779353C75606506 @default.
- W2352779353 hasLocation W23527793531 @default.
- W2352779353 hasOpenAccess W2352779353 @default.
- W2352779353 hasPrimaryLocation W23527793531 @default.
- W2352779353 hasRelatedWork W1490702959 @default.
- W2352779353 hasRelatedWork W1508605485 @default.
- W2352779353 hasRelatedWork W1598822623 @default.
- W2352779353 hasRelatedWork W1606635928 @default.
- W2352779353 hasRelatedWork W1870549546 @default.
- W2352779353 hasRelatedWork W189855955 @default.
- W2352779353 hasRelatedWork W1984273237 @default.
- W2352779353 hasRelatedWork W2004591143 @default.
- W2352779353 hasRelatedWork W2085241889 @default.
- W2352779353 hasRelatedWork W2130883068 @default.
- W2352779353 hasRelatedWork W2163915384 @default.
- W2352779353 hasRelatedWork W2164886052 @default.
- W2352779353 hasRelatedWork W23521310 @default.
- W2352779353 hasRelatedWork W2370835314 @default.
- W2352779353 hasRelatedWork W2382465723 @default.
- W2352779353 hasRelatedWork W2430131036 @default.
- W2352779353 hasRelatedWork W2999316761 @default.
- W2352779353 hasRelatedWork W3006758274 @default.
- W2352779353 hasRelatedWork W1571749062 @default.
- W2352779353 hasRelatedWork W2140453926 @default.
- W2352779353 isParatext "false" @default.
- W2352779353 isRetracted "false" @default.
- W2352779353 magId "2352779353" @default.
- W2352779353 workType "article" @default.