FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W50808727> ?p ?o ?g. }

• W50808727 abstract "Garg and Abadi recently proved that prominent access control logics can be translated in a sound and complete way into modal logic S4. We have previously outlined how normal multimodal logics, including monomodal logics K and S4, can be embedded in simple type theory (which is also known as higher-order logic) and we have demonstrated that the higher-order theorem prover LEO-II can automate reasoning in and about them. In this paper we combine these results and describe a sound and complete embedding of different access control logics in simple type theory. Employing this framework we show that the off the shelf theorem prover LEO-II can be applied to automate reasoning in prominent access control logics." @default.
• W50808727 created "2016-06-24" @default.
• W50808727 creator A5055110324 @default.
• W50808727 date "2009-01-23" @default.
• W50808727 modified "2023-09-27" @default.
• W50808727 title "Automating Access Control Logics in Simple Type Theory with LEO-II (Techreport)" @default.
• W50808727 hasPublicationYear "2009" @default.
• W50808727 type Work @default.
• W50808727 sameAs 50808727 @default.
• W50808727 citedByCount "0" @default.
• W50808727 crossrefType "posted-content" @default.
• W50808727 hasAuthorship W50808727A5055110324 @default.
• W50808727 hasConcept C108710211 @default.
• W50808727 hasConcept C111472728 @default.
• W50808727 hasConcept C118615104 @default.
• W50808727 hasConcept C136119220 @default.
• W50808727 hasConcept C138885662 @default.
• W50808727 hasConcept C154945302 @default.
• W50808727 hasConcept C159718280 @default.
• W50808727 hasConcept C185592680 @default.
• W50808727 hasConcept C188027245 @default.
• W50808727 hasConcept C1883856 @default.
• W50808727 hasConcept C18903297 @default.
• W50808727 hasConcept C199343813 @default.
• W50808727 hasConcept C202444582 @default.
• W50808727 hasConcept C206880738 @default.
• W50808727 hasConcept C2524010 @default.
• W50808727 hasConcept C27508121 @default.
• W50808727 hasConcept C2777299769 @default.
• W50808727 hasConcept C2777686260 @default.
• W50808727 hasConcept C2780586882 @default.
• W50808727 hasConcept C33923547 @default.
• W50808727 hasConcept C38652104 @default.
• W50808727 hasConcept C41008148 @default.
• W50808727 hasConcept C41608201 @default.
• W50808727 hasConcept C42011625 @default.
• W50808727 hasConcept C5263885 @default.
• W50808727 hasConcept C527821871 @default.
• W50808727 hasConcept C58166 @default.
• W50808727 hasConcept C71139939 @default.
• W50808727 hasConcept C71924100 @default.
• W50808727 hasConcept C80444323 @default.
• W50808727 hasConcept C86602344 @default.
• W50808727 hasConcept C86803240 @default.
• W50808727 hasConcept C98224912 @default.
• W50808727 hasConceptScore W50808727C108710211 @default.
• W50808727 hasConceptScore W50808727C111472728 @default.
• W50808727 hasConceptScore W50808727C118615104 @default.
• W50808727 hasConceptScore W50808727C136119220 @default.
• W50808727 hasConceptScore W50808727C138885662 @default.
• W50808727 hasConceptScore W50808727C154945302 @default.
• W50808727 hasConceptScore W50808727C159718280 @default.
• W50808727 hasConceptScore W50808727C185592680 @default.
• W50808727 hasConceptScore W50808727C188027245 @default.
• W50808727 hasConceptScore W50808727C1883856 @default.
• W50808727 hasConceptScore W50808727C18903297 @default.
• W50808727 hasConceptScore W50808727C199343813 @default.
• W50808727 hasConceptScore W50808727C202444582 @default.
• W50808727 hasConceptScore W50808727C206880738 @default.
• W50808727 hasConceptScore W50808727C2524010 @default.
• W50808727 hasConceptScore W50808727C27508121 @default.
• W50808727 hasConceptScore W50808727C2777299769 @default.
• W50808727 hasConceptScore W50808727C2777686260 @default.
• W50808727 hasConceptScore W50808727C2780586882 @default.
• W50808727 hasConceptScore W50808727C33923547 @default.
• W50808727 hasConceptScore W50808727C38652104 @default.
• W50808727 hasConceptScore W50808727C41008148 @default.
• W50808727 hasConceptScore W50808727C41608201 @default.
• W50808727 hasConceptScore W50808727C42011625 @default.
• W50808727 hasConceptScore W50808727C5263885 @default.
• W50808727 hasConceptScore W50808727C527821871 @default.
• W50808727 hasConceptScore W50808727C58166 @default.
• W50808727 hasConceptScore W50808727C71139939 @default.
• W50808727 hasConceptScore W50808727C71924100 @default.
• W50808727 hasConceptScore W50808727C80444323 @default.
• W50808727 hasConceptScore W50808727C86602344 @default.
• W50808727 hasConceptScore W50808727C86803240 @default.
• W50808727 hasConceptScore W50808727C98224912 @default.
• W50808727 hasLocation W508087271 @default.
• W50808727 hasOpenAccess W50808727 @default.
• W50808727 hasPrimaryLocation W508087271 @default.
• W50808727 hasRelatedWork W111349018 @default.
• W50808727 hasRelatedWork W1493921823 @default.
• W50808727 hasRelatedWork W1545134309 @default.
• W50808727 hasRelatedWork W1605913882 @default.
• W50808727 hasRelatedWork W1637985016 @default.
• W50808727 hasRelatedWork W1678285264 @default.
• W50808727 hasRelatedWork W1807678626 @default.
• W50808727 hasRelatedWork W1981237135 @default.
• W50808727 hasRelatedWork W2081809666 @default.
• W50808727 hasRelatedWork W2088336357 @default.
• W50808727 hasRelatedWork W2090238417 @default.
• W50808727 hasRelatedWork W2100286464 @default.
• W50808727 hasRelatedWork W2126755595 @default.
• W50808727 hasRelatedWork W2158866205 @default.
• W50808727 hasRelatedWork W2399440034 @default.
• W50808727 hasRelatedWork W2488544061 @default.
• W50808727 hasRelatedWork W2949364654 @default.
• W50808727 hasRelatedWork W3148132267 @default.
• W50808727 hasRelatedWork W2101154178 @default.

• next