Matches in SemOpenAlex for { <https://semopenalex.org/work/W3133366149> ?p ?o ?g. }
- W3133366149 endingPage "228" @default.
- W3133366149 startingPage "161" @default.
- W3133366149 abstract "We introduce a novel type system for enforcing secure information flow in an imperative language. Our work is motivated by the problem of statically checking potential information leakage in Android applications. To this end, we design a lightweight type system featuring Android permission model, where the permissions are statically assigned to applications and are used to enforce access control in the applications. We take inspiration from a type system by Banerjee and Naumann to allow security types to be dependent on the permissions of the applications. A novel feature of our type system is a typing rule for conditional branching induced by permission testing, which introduces a merging operator on security types, allowing more precise security policies to be enforced. The soundness of our type system is proved with respect to non-interference. A type inference algorithm is also presented for the underlying security type system, by reducing the inference problem to a constraint solving problem in the lattice of security types. In addition, a new way to represent our security types as reduced ordered binary decision diagrams is proposed." @default.
- W3133366149 created "2021-03-01" @default.
- W3133366149 creator A5009606065 @default.
- W3133366149 creator A5071064651 @default.
- W3133366149 creator A5074610267 @default.
- W3133366149 creator A5079237288 @default.
- W3133366149 creator A5089943764 @default.
- W3133366149 date "2021-03-29" @default.
- W3133366149 modified "2023-09-23" @default.
- W3133366149 title "A permission-dependent type system for secure information flow analysis" @default.
- W3133366149 cites W153174126 @default.
- W3133366149 cites W1750915279 @default.
- W3133366149 cites W1973336874 @default.
- W3133366149 cites W1977764760 @default.
- W3133366149 cites W1994588724 @default.
- W3133366149 cites W1998003182 @default.
- W3133366149 cites W2017025011 @default.
- W3133366149 cites W2025699392 @default.
- W3133366149 cites W2027538101 @default.
- W3133366149 cites W2038173123 @default.
- W3133366149 cites W2060710422 @default.
- W3133366149 cites W2075849836 @default.
- W3133366149 cites W2080267935 @default.
- W3133366149 cites W2088923183 @default.
- W3133366149 cites W2094835181 @default.
- W3133366149 cites W2094873755 @default.
- W3133366149 cites W2101834106 @default.
- W3133366149 cites W2102917576 @default.
- W3133366149 cites W2108887121 @default.
- W3133366149 cites W2117723002 @default.
- W3133366149 cites W2122049982 @default.
- W3133366149 cites W2128932642 @default.
- W3133366149 cites W2129278597 @default.
- W3133366149 cites W2147778310 @default.
- W3133366149 cites W2148397566 @default.
- W3133366149 cites W2149465027 @default.
- W3133366149 cites W2150174204 @default.
- W3133366149 cites W2248189341 @default.
- W3133366149 cites W2295217343 @default.
- W3133366149 cites W2295923951 @default.
- W3133366149 cites W2346134553 @default.
- W3133366149 cites W2533311740 @default.
- W3133366149 cites W2534494087 @default.
- W3133366149 cites W2760684713 @default.
- W3133366149 cites W2898321088 @default.
- W3133366149 cites W2912640545 @default.
- W3133366149 cites W2963413731 @default.
- W3133366149 cites W4241108170 @default.
- W3133366149 cites W4243963980 @default.
- W3133366149 cites W4244726870 @default.
- W3133366149 cites W4247198503 @default.
- W3133366149 doi "https://doi.org/10.3233/jcs-200036" @default.
- W3133366149 hasPublicationYear "2021" @default.
- W3133366149 type Work @default.
- W3133366149 sameAs 3133366149 @default.
- W3133366149 citedByCount "1" @default.
- W3133366149 countsByYear W31333661492023 @default.
- W3133366149 crossrefType "journal-article" @default.
- W3133366149 hasAuthorship W3133366149A5009606065 @default.
- W3133366149 hasAuthorship W3133366149A5071064651 @default.
- W3133366149 hasAuthorship W3133366149A5074610267 @default.
- W3133366149 hasAuthorship W3133366149A5079237288 @default.
- W3133366149 hasAuthorship W3133366149A5089943764 @default.
- W3133366149 hasBestOaLocation W31333661492 @default.
- W3133366149 hasConcept C120314980 @default.
- W3133366149 hasConcept C121822524 @default.
- W3133366149 hasConcept C138885662 @default.
- W3133366149 hasConcept C154908896 @default.
- W3133366149 hasConcept C154945302 @default.
- W3133366149 hasConcept C17744445 @default.
- W3133366149 hasConcept C18903297 @default.
- W3133366149 hasConcept C198370458 @default.
- W3133366149 hasConcept C199360897 @default.
- W3133366149 hasConcept C199539241 @default.
- W3133366149 hasConcept C2776214188 @default.
- W3133366149 hasConcept C2777299769 @default.
- W3133366149 hasConcept C2779089604 @default.
- W3133366149 hasConcept C2779136372 @default.
- W3133366149 hasConcept C3309909 @default.
- W3133366149 hasConcept C38652104 @default.
- W3133366149 hasConcept C39920170 @default.
- W3133366149 hasConcept C41008148 @default.
- W3133366149 hasConcept C41895202 @default.
- W3133366149 hasConcept C80444323 @default.
- W3133366149 hasConcept C86803240 @default.
- W3133366149 hasConcept C93682546 @default.
- W3133366149 hasConceptScore W3133366149C120314980 @default.
- W3133366149 hasConceptScore W3133366149C121822524 @default.
- W3133366149 hasConceptScore W3133366149C138885662 @default.
- W3133366149 hasConceptScore W3133366149C154908896 @default.
- W3133366149 hasConceptScore W3133366149C154945302 @default.
- W3133366149 hasConceptScore W3133366149C17744445 @default.
- W3133366149 hasConceptScore W3133366149C18903297 @default.
- W3133366149 hasConceptScore W3133366149C198370458 @default.
- W3133366149 hasConceptScore W3133366149C199360897 @default.
- W3133366149 hasConceptScore W3133366149C199539241 @default.
- W3133366149 hasConceptScore W3133366149C2776214188 @default.
- W3133366149 hasConceptScore W3133366149C2777299769 @default.