FRINK Linked Data Fragments server

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

• W103215004 abstract "With the growing amount of data handled by Internet-enabledmobile devices, the task of preventing software from leakingconfidential information is becoming increasingly important. Atthe same time, mobile applications are typically executed ondifferent devices whose users have varying requirements for theprivacy of their data. Users should be able to define theirpersonal information security settings, and they should get areliable assurance that the installed software respects thesesettings. Language-based information flow security focuses onthe analysis of programs to determine information flows amongaccessed data resources of different security levels, and toverify and formally certify that these flows follow a givenpolicy. In the mobile code scenario, however, both the dynamicaspect of the security environment and the fact that mobilesoftware is distributed as bytecode pose a challenge for existingstatic analysis approaches. This thesis presents alanguage-based mechanism to certify information flow security inthe presence of dynamic environments. An object-orientedhigh-level language as well as a bytecode language are equippedwith facilities to inspect user-defined information flow securitysettings at runtime. This way, the software developer can createprivacy-aware programs that can adapt their behaviour toarbitrary security environments, a property that is formalized asuniversal noninterference. This property is staticallyverified by an information flow type system that uses restrictiveforms of dependent types to judge abstractly on the concretesecurity policy that is effective at runtime. To verify compiledbytecode programs, a low-level version of the type system ispresented that works on an intermediate code representation inwhich the original program structure is partially restored.Rigorous soundness proofs and a type-preserving compilationenable the generation of certified bytecode programs in the styleof proof-carrying code. To show the practical feasibility of theapproach, the system is implemented and demonstrated on aconcrete application scenario, where personal data are sent froma mobile device to a server on the Internet." @default.
• W103215004 created "2016-06-24" @default.
• W103215004 creator A5044586324 @default.
• W103215004 date "2012-03-23" @default.
• W103215004 modified "2023-09-22" @default.
• W103215004 title "Information flow analysis for mobile code in dynamic security environments" @default.
• W103215004 cites W141971178 @default.
• W103215004 cites W1502268999 @default.
• W103215004 cites W1503761302 @default.
• W103215004 cites W1506992325 @default.
• W103215004 cites W1519156167 @default.
• W103215004 cites W1519566437 @default.
• W103215004 cites W1522089540 @default.
• W103215004 cites W1524147119 @default.
• W103215004 cites W1544023751 @default.
• W103215004 cites W1548432452 @default.
• W103215004 cites W1557561422 @default.
• W103215004 cites W1585940114 @default.
• W103215004 cites W1586448612 @default.
• W103215004 cites W163795935 @default.
• W103215004 cites W1809853109 @default.
• W103215004 cites W1898597206 @default.
• W103215004 cites W1957951093 @default.
• W103215004 cites W1966354044 @default.
• W103215004 cites W1973336874 @default.
• W103215004 cites W1977764760 @default.
• W103215004 cites W1984356484 @default.
• W103215004 cites W1986681115 @default.
• W103215004 cites W1993302007 @default.
• W103215004 cites W2007975752 @default.
• W103215004 cites W2012131382 @default.
• W103215004 cites W2012470235 @default.
• W103215004 cites W2016017569 @default.
• W103215004 cites W2030762383 @default.
• W103215004 cites W2030916392 @default.
• W103215004 cites W2034527657 @default.
• W103215004 cites W2034711041 @default.
• W103215004 cites W2046125217 @default.
• W103215004 cites W2047881370 @default.
• W103215004 cites W2061056245 @default.
• W103215004 cites W2066210260 @default.
• W103215004 cites W2069107692 @default.
• W103215004 cites W2075849836 @default.
• W103215004 cites W2087875803 @default.
• W103215004 cites W2088923183 @default.
• W103215004 cites W2095840868 @default.
• W103215004 cites W2102917576 @default.
• W103215004 cites W2104334667 @default.
• W103215004 cites W2108887121 @default.
• W103215004 cites W2110904621 @default.
• W103215004 cites W2112414131 @default.
• W103215004 cites W2113660296 @default.
• W103215004 cites W2114938959 @default.
• W103215004 cites W2115974895 @default.
• W103215004 cites W2116236474 @default.
• W103215004 cites W2117723002 @default.
• W103215004 cites W2120350928 @default.
• W103215004 cites W2122049982 @default.
• W103215004 cites W2129278597 @default.
• W103215004 cites W2131916295 @default.
• W103215004 cites W2132461047 @default.
• W103215004 cites W2137628566 @default.
• W103215004 cites W2139093088 @default.
• W103215004 cites W2139799388 @default.
• W103215004 cites W2145846275 @default.
• W103215004 cites W2149465027 @default.
• W103215004 cites W2149996206 @default.
• W103215004 cites W2150174204 @default.
• W103215004 cites W2158126684 @default.
• W103215004 cites W2162022335 @default.
• W103215004 cites W2164186668 @default.
• W103215004 cites W2168686464 @default.
• W103215004 cites W2168986107 @default.
• W103215004 cites W2307322691 @default.
• W103215004 cites W2598222867 @default.
• W103215004 cites W3146075203 @default.
• W103215004 cites W4962619 @default.
• W103215004 cites W2130620679 @default.
• W103215004 cites W2737563519 @default.
• W103215004 cites W343737952 @default.
• W103215004 hasPublicationYear "2012" @default.
• W103215004 type Work @default.
• W103215004 sameAs 103215004 @default.
• W103215004 citedByCount "0" @default.
• W103215004 crossrefType "journal-article" @default.
• W103215004 hasAuthorship W103215004A5044586324 @default.
• W103215004 hasConcept C103377522 @default.
• W103215004 hasConcept C111919701 @default.
• W103215004 hasConcept C121822524 @default.
• W103215004 hasConcept C138885662 @default.
• W103215004 hasConcept C154908896 @default.
• W103215004 hasConcept C184842701 @default.
• W103215004 hasConcept C195518309 @default.
• W103215004 hasConcept C199360897 @default.
• W103215004 hasConcept C2779136372 @default.
• W103215004 hasConcept C2779818221 @default.
• W103215004 hasConcept C29983905 @default.
• W103215004 hasConcept C38652104 @default.
• W103215004 hasConcept C41008148 @default.
• W103215004 hasConcept C41895202 @default.

• next