Matches in SemOpenAlex for { <https://semopenalex.org/work/W2099694937> ?p ?o ?g. }
Showing items 1 to 71 of
71
with 100 items per page.
- W2099694937 abstract "Abstract : Security modeling is the foundation to formal verification which is a core requirement for high assurance systems. This thesis explores how security models can be built in a simple and expressive manner using the Metaslang specification language in Specware. The models are subsequently translated, via the Specware to Isabelle Interface, to be proven for correctness in Isabelle which is a generic, interactive theorem proving environment. It is found that the translation between Specware and Isabelle is almost seamless and there is much potential in the use of Isabelle/HOL to discharge proof obligations that arise in developing Specware specifications although the actual proving requires substantial knowledge and experience in logical calculus." @default.
- W2099694937 created "2016-06-24" @default.
- W2099694937 creator A5025236443 @default.
- W2099694937 creator A5031551636 @default.
- W2099694937 date "2008-12-01" @default.
- W2099694937 modified "2023-09-27" @default.
- W2099694937 title "Security Modeling and Correctness Proof Using Specware and Isabelle" @default.
- W2099694937 cites W1542403019 @default.
- W2099694937 cites W1554047564 @default.
- W2099694937 cites W1571397347 @default.
- W2099694937 cites W2007999111 @default.
- W2099694937 cites W2077359497 @default.
- W2099694937 cites W2099917029 @default.
- W2099694937 cites W2150210903 @default.
- W2099694937 cites W2170486381 @default.
- W2099694937 cites W226219556 @default.
- W2099694937 cites W289285922 @default.
- W2099694937 hasPublicationYear "2008" @default.
- W2099694937 type Work @default.
- W2099694937 sameAs 2099694937 @default.
- W2099694937 citedByCount "0" @default.
- W2099694937 crossrefType "journal-article" @default.
- W2099694937 hasAuthorship W2099694937A5025236443 @default.
- W2099694937 hasAuthorship W2099694937A5031551636 @default.
- W2099694937 hasConcept C108710211 @default.
- W2099694937 hasConcept C111498074 @default.
- W2099694937 hasConcept C17435882 @default.
- W2099694937 hasConcept C199360897 @default.
- W2099694937 hasConcept C203265346 @default.
- W2099694937 hasConcept C206880738 @default.
- W2099694937 hasConcept C2524010 @default.
- W2099694937 hasConcept C33923547 @default.
- W2099694937 hasConcept C41008148 @default.
- W2099694937 hasConcept C55439883 @default.
- W2099694937 hasConceptScore W2099694937C108710211 @default.
- W2099694937 hasConceptScore W2099694937C111498074 @default.
- W2099694937 hasConceptScore W2099694937C17435882 @default.
- W2099694937 hasConceptScore W2099694937C199360897 @default.
- W2099694937 hasConceptScore W2099694937C203265346 @default.
- W2099694937 hasConceptScore W2099694937C206880738 @default.
- W2099694937 hasConceptScore W2099694937C2524010 @default.
- W2099694937 hasConceptScore W2099694937C33923547 @default.
- W2099694937 hasConceptScore W2099694937C41008148 @default.
- W2099694937 hasConceptScore W2099694937C55439883 @default.
- W2099694937 hasLocation W20996949371 @default.
- W2099694937 hasOpenAccess W2099694937 @default.
- W2099694937 hasPrimaryLocation W20996949371 @default.
- W2099694937 hasRelatedWork W119548244 @default.
- W2099694937 hasRelatedWork W1501686914 @default.
- W2099694937 hasRelatedWork W1510484179 @default.
- W2099694937 hasRelatedWork W1591148686 @default.
- W2099694937 hasRelatedWork W1601544265 @default.
- W2099694937 hasRelatedWork W1965323258 @default.
- W2099694937 hasRelatedWork W2153589395 @default.
- W2099694937 hasRelatedWork W2157157025 @default.
- W2099694937 hasRelatedWork W2166343916 @default.
- W2099694937 hasRelatedWork W2262937022 @default.
- W2099694937 hasRelatedWork W2339645850 @default.
- W2099694937 hasRelatedWork W2414648896 @default.
- W2099694937 hasRelatedWork W2962693849 @default.
- W2099694937 hasRelatedWork W2999767359 @default.
- W2099694937 hasRelatedWork W3003805453 @default.
- W2099694937 hasRelatedWork W3099800985 @default.
- W2099694937 hasRelatedWork W3143722652 @default.
- W2099694937 hasRelatedWork W622015006 @default.
- W2099694937 hasRelatedWork W635693374 @default.
- W2099694937 hasRelatedWork W658676727 @default.
- W2099694937 isParatext "false" @default.
- W2099694937 isRetracted "false" @default.
- W2099694937 magId "2099694937" @default.
- W2099694937 workType "article" @default.