FRINK Linked Data Fragments server

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

• W1536005162 abstract "Mainstream mechanisms for protection of information security are not adequate. Most vulnerabilities today do not arise from deficiencies in network security or encryption mechanisms, but from software that fails to provide adequate protection for the information it handles. Programs are not prevented from revealing too much of their information to actors who can legitimately interact with them, and restricting access to the data is not a viable solution. What is needed is mechanisms that can control not only what information a program has access to, but also how the program handles that information once access is given. This thesis describes Paralocks, a language for building expressive but statically verifiable fine-grained information flow policies, and Paragon, an extension of Java supporting the enforcement of Paralocks policy specifications. Our contributions can be categorised along three axes: * The design of a policy specification language, Paralocks, that is expressive enough to model a large number of different mechanisms for information flow control. *The development of a formal semantic information flow model for Paralocks that can be used to prove properties about programs and enforcement mechanisms. * The development of Paragon, an extension of Java with support for enforcement of Paralocks information flow policies. Together these components provide a complete framework for programming with information flow control. It is the first framework to bring together all aspects of information flow control including dynamically changing policies such as declassification, making it both theoretically sound as well as usable for solving practical programming problems." @default.
• W1536005162 created "2016-06-24" @default.
• W1536005162 creator A5084168338 @default.
• W1536005162 date "2011-08-15" @default.
• W1536005162 modified "2023-09-26" @default.
• W1536005162 title "Practical, Flexible programming with Information Flow Control" @default.
• W1536005162 cites W13082435 @default.
• W1536005162 cites W144096106 @default.
• W1536005162 cites W1501479749 @default.
• W1536005162 cites W1522146952 @default.
• W1536005162 cites W1535576056 @default.
• W1536005162 cites W1541185175 @default.
• W1536005162 cites W1599739130 @default.
• W1536005162 cites W1613776191 @default.
• W1536005162 cites W1819958245 @default.
• W1536005162 cites W1856491113 @default.
• W1536005162 cites W1882297107 @default.
• W1536005162 cites W1975156286 @default.
• W1536005162 cites W1977764760 @default.
• W1536005162 cites W1998208223 @default.
• W1536005162 cites W1999602293 @default.
• W1536005162 cites W2026792276 @default.
• W1536005162 cites W2034527657 @default.
• W1536005162 cites W2044590882 @default.
• W1536005162 cites W2048172473 @default.
• W1536005162 cites W2054581147 @default.
• W1536005162 cites W2056660085 @default.
• W1536005162 cites W2069760772 @default.
• W1536005162 cites W2070093650 @default.
• W1536005162 cites W2091712774 @default.
• W1536005162 cites W2094873755 @default.
• W1536005162 cites W2095762545 @default.
• W1536005162 cites W2106393422 @default.
• W1536005162 cites W2108120132 @default.
• W1536005162 cites W2113660296 @default.
• W1536005162 cites W2117534212 @default.
• W1536005162 cites W2118036973 @default.
• W1536005162 cites W2121988324 @default.
• W1536005162 cites W2122522758 @default.
• W1536005162 cites W2128487827 @default.
• W1536005162 cites W2130207003 @default.
• W1536005162 cites W2136296832 @default.
• W1536005162 cites W2137417304 @default.
• W1536005162 cites W2140341594 @default.
• W1536005162 cites W2145846275 @default.
• W1536005162 cites W2152845220 @default.
• W1536005162 cites W2154564703 @default.
• W1536005162 cites W2154765153 @default.
• W1536005162 cites W2158126684 @default.
• W1536005162 cites W2160829153 @default.
• W1536005162 cites W2162022335 @default.
• W1536005162 cites W2165078378 @default.
• W1536005162 cites W2166602595 @default.
• W1536005162 cites W2167685423 @default.
• W1536005162 hasPublicationYear "2011" @default.
• W1536005162 type Work @default.
• W1536005162 sameAs 1536005162 @default.
• W1536005162 citedByCount "1" @default.
• W1536005162 countsByYear W15360051622014 @default.
• W1536005162 crossrefType "journal-article" @default.
• W1536005162 hasAuthorship W1536005162A5084168338 @default.
• W1536005162 hasConcept C115903868 @default.
• W1536005162 hasConcept C117110713 @default.
• W1536005162 hasConcept C138885662 @default.
• W1536005162 hasConcept C139547956 @default.
• W1536005162 hasConcept C154908896 @default.
• W1536005162 hasConcept C160191386 @default.
• W1536005162 hasConcept C17744445 @default.
• W1536005162 hasConcept C199360897 @default.
• W1536005162 hasConcept C199539241 @default.
• W1536005162 hasConcept C2779136372 @default.
• W1536005162 hasConcept C2779777834 @default.
• W1536005162 hasConcept C29983905 @default.
• W1536005162 hasConcept C38652104 @default.
• W1536005162 hasConcept C41008148 @default.
• W1536005162 hasConcept C41895202 @default.
• W1536005162 hasConcept C527648132 @default.
• W1536005162 hasConcept C527821871 @default.
• W1536005162 hasConceptScore W1536005162C115903868 @default.
• W1536005162 hasConceptScore W1536005162C117110713 @default.
• W1536005162 hasConceptScore W1536005162C138885662 @default.
• W1536005162 hasConceptScore W1536005162C139547956 @default.
• W1536005162 hasConceptScore W1536005162C154908896 @default.
• W1536005162 hasConceptScore W1536005162C160191386 @default.
• W1536005162 hasConceptScore W1536005162C17744445 @default.
• W1536005162 hasConceptScore W1536005162C199360897 @default.
• W1536005162 hasConceptScore W1536005162C199539241 @default.
• W1536005162 hasConceptScore W1536005162C2779136372 @default.
• W1536005162 hasConceptScore W1536005162C2779777834 @default.
• W1536005162 hasConceptScore W1536005162C29983905 @default.
• W1536005162 hasConceptScore W1536005162C38652104 @default.
• W1536005162 hasConceptScore W1536005162C41008148 @default.
• W1536005162 hasConceptScore W1536005162C41895202 @default.
• W1536005162 hasConceptScore W1536005162C527648132 @default.
• W1536005162 hasConceptScore W1536005162C527821871 @default.
• W1536005162 hasLocation W15360051621 @default.
• W1536005162 hasOpenAccess W1536005162 @default.
• W1536005162 hasPrimaryLocation W15360051621 @default.
• W1536005162 hasRelatedWork W1593531417 @default.
• W1536005162 hasRelatedWork W1857247180 @default.

• next