FRINK Linked Data Fragments server

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

• W2272400291 abstract "Logic programming with answer set semantics has been considered appealing rulebased formalism language and applied in information security areas. In this thesis, we investigate the problems of authorization in distributed environments and security protocol verification and update. Authorization decisions are required in large-scale distributed environments, such as electronic commerce, remote resource sharing, etc. We adopt the trust management approach, in which authorization is viewed as a “proof of compliance” problem. We develop an authorization language AL with nonmonotonic feature as the policy and credential specification language, which can express delegation with depth control, complex subject structures, both positive and negative authorizations, and separation of duty concepts. The theoretical foundation for language AL is the answer set semantics of logic programming. We transform AL to logic programs and the authorization decisions are based on answer sets of the programs. We also explore the tractable subclasses of language AL. We implement a fine grained access control prototype system for XML resources, in which the language AL simplified from AL is the policy and credential specification language. We define XPolicy , the XML format of AL, which is a DTD for the XML policy documents. The semantics of the policy is based on the semantics of language AL. The system is implemented using Java programming. We investigate the security protocol verification problem in provable security approach. Based on logic programming with answer set semantics, we develop a unified framework for security protocol verification and update, which integrates protocol specification, verification and update. The update model is defined using forgetting techniques in logic programming. Through a case study protocol, we demonstrate an application of our approach." @default.
• W2272400291 created "2016-06-24" @default.
• W2272400291 creator A5025843427 @default.
• W2272400291 date "2008-01-01" @default.
• W2272400291 modified "2023-09-27" @default.
• W2272400291 title "Logic programming based formal representations for authorization and security protocols" @default.
• W2272400291 cites W1481626015 @default.
• W2272400291 cites W1502704027 @default.
• W2272400291 cites W1504634919 @default.
• W2272400291 cites W1508976136 @default.
• W2272400291 cites W1509539496 @default.
• W2272400291 cites W1512409548 @default.
• W2272400291 cites W1521514377 @default.
• W2272400291 cites W1528222021 @default.
• W2272400291 cites W1532150808 @default.
• W2272400291 cites W1542059364 @default.
• W2272400291 cites W1545843592 @default.
• W2272400291 cites W1550517172 @default.
• W2272400291 cites W1554585458 @default.
• W2272400291 cites W1569706244 @default.
• W2272400291 cites W1574845526 @default.
• W2272400291 cites W159083158 @default.
• W2272400291 cites W1598151097 @default.
• W2272400291 cites W1606891084 @default.
• W2272400291 cites W1751533173 @default.
• W2272400291 cites W1775632952 @default.
• W2272400291 cites W1819010326 @default.
• W2272400291 cites W1859131989 @default.
• W2272400291 cites W1867273832 @default.
• W2272400291 cites W1967951878 @default.
• W2272400291 cites W1974533328 @default.
• W2272400291 cites W1991895580 @default.
• W2272400291 cites W2010939995 @default.
• W2272400291 cites W2012419258 @default.
• W2272400291 cites W2020992910 @default.
• W2272400291 cites W2027438132 @default.
• W2272400291 cites W2046245985 @default.
• W2272400291 cites W2047241038 @default.
• W2272400291 cites W2049129243 @default.
• W2272400291 cites W2053741629 @default.
• W2272400291 cites W2056806607 @default.
• W2272400291 cites W2057917144 @default.
• W2272400291 cites W2078671172 @default.
• W2272400291 cites W2080914957 @default.
• W2272400291 cites W2089507241 @default.
• W2272400291 cites W2095417143 @default.
• W2272400291 cites W2102922499 @default.
• W2272400291 cites W2104608926 @default.
• W2272400291 cites W2105470748 @default.
• W2272400291 cites W2107307934 @default.
• W2272400291 cites W2108978217 @default.
• W2272400291 cites W2110172854 @default.
• W2272400291 cites W2111753337 @default.
• W2272400291 cites W2114549239 @default.
• W2272400291 cites W2117455301 @default.
• W2272400291 cites W2123479684 @default.
• W2272400291 cites W2124260419 @default.
• W2272400291 cites W2124659164 @default.
• W2272400291 cites W2124926080 @default.
• W2272400291 cites W2133186418 @default.
• W2272400291 cites W2134296086 @default.
• W2272400291 cites W2152505375 @default.
• W2272400291 cites W2153281696 @default.
• W2272400291 cites W2154568476 @default.
• W2272400291 cites W2161221883 @default.
• W2272400291 cites W2161484642 @default.
• W2272400291 cites W2166602595 @default.
• W2272400291 cites W2169216703 @default.
• W2272400291 cites W2170496240 @default.
• W2272400291 cites W2738444131 @default.
• W2272400291 cites W2912926260 @default.
• W2272400291 cites W2993902586 @default.
• W2272400291 cites W3102845218 @default.
• W2272400291 cites W58471491 @default.
• W2272400291 cites W60635405 @default.
• W2272400291 cites W2592627322 @default.
• W2272400291 cites W56741472 @default.
• W2272400291 hasPublicationYear "2008" @default.
• W2272400291 type Work @default.
• W2272400291 sameAs 2272400291 @default.
• W2272400291 citedByCount "0" @default.
• W2272400291 crossrefType "journal-article" @default.
• W2272400291 hasAuthorship W2272400291A5025843427 @default.
• W2272400291 hasConcept C128838566 @default.
• W2272400291 hasConcept C148230440 @default.
• W2272400291 hasConcept C154908896 @default.
• W2272400291 hasConcept C156325763 @default.
• W2272400291 hasConcept C184337299 @default.
• W2272400291 hasConcept C199360897 @default.
• W2272400291 hasConcept C2777810591 @default.
• W2272400291 hasConcept C38652104 @default.
• W2272400291 hasConcept C41008148 @default.
• W2272400291 hasConcept C80444323 @default.
• W2272400291 hasConceptScore W2272400291C128838566 @default.
• W2272400291 hasConceptScore W2272400291C148230440 @default.
• W2272400291 hasConceptScore W2272400291C154908896 @default.
• W2272400291 hasConceptScore W2272400291C156325763 @default.
• W2272400291 hasConceptScore W2272400291C184337299 @default.
• W2272400291 hasConceptScore W2272400291C199360897 @default.
• W2272400291 hasConceptScore W2272400291C2777810591 @default.

• next