FRINK Linked Data Fragments server

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

• W4311443586 endingPage "35" @default.
• W4311443586 startingPage "1" @default.
• W4311443586 abstract "Security-critical software applications contain confidential information which has to be protected from leaking to unauthorized systems. With language-based techniques, the confidentiality of applications can be enforced. Such techniques are for example type systems that enforce an information flow policy through typing rules. The precision of such type systems, especially in object-oriented languages, is an area of active research: an appropriate system should not reject too many secure programs while soundly preserving noninterference. In this work, we introduce the language SIFO which supports information flow control for an object-oriented language with type modifiers. Type modifiers increase the precision of the type system by utilizing immutability and uniqueness properties of objects for the detection of information leaks. We present SIFO informally by using examples to demonstrate the applicability of the language, formalize the type system, prove noninterference, implement SIFO as a pluggable type system in the programming language L42, and evaluate it with a feasibility study and a benchmark." @default.
• W4311443586 created "2022-12-26" @default.
• W4311443586 creator A5032157042 @default.
• W4311443586 creator A5057086547 @default.
• W4311443586 creator A5065261670 @default.
• W4311443586 creator A5083585434 @default.
• W4311443586 date "2023-03-03" @default.
• W4311443586 modified "2023-10-14" @default.
• W4311443586 title "Immutability and Encapsulation for Sound OO Information Flow Control" @default.
• W4311443586 cites W1482412090 @default.
• W4311443586 cites W1991895580 @default.
• W4311443586 cites W1993302007 @default.
• W4311443586 cites W2033348393 @default.
• W4311443586 cites W2038173123 @default.
• W4311443586 cites W2045090661 @default.
• W4311443586 cites W2060692877 @default.
• W4311443586 cites W2080849400 @default.
• W4311443586 cites W2094873755 @default.
• W4311443586 cites W2121396013 @default.
• W4311443586 cites W2122049982 @default.
• W4311443586 cites W2136025860 @default.
• W4311443586 cites W2153006094 @default.
• W4311443586 cites W2154564703 @default.
• W4311443586 cites W2565255124 @default.
• W4311443586 cites W2591725154 @default.
• W4311443586 cites W2788484942 @default.
• W4311443586 cites W2799208700 @default.
• W4311443586 cites W2899478507 @default.
• W4311443586 cites W2899551626 @default.
• W4311443586 cites W2900040591 @default.
• W4311443586 cites W2997271062 @default.
• W4311443586 cites W3024337755 @default.
• W4311443586 cites W3082507454 @default.
• W4311443586 cites W3156901298 @default.
• W4311443586 cites W4230681750 @default.
• W4311443586 cites W4247198503 @default.
• W4311443586 cites W4249302518 @default.
• W4311443586 doi "https://doi.org/10.1145/3573270" @default.
• W4311443586 hasPublicationYear "2023" @default.
• W4311443586 type Work @default.
• W4311443586 citedByCount "1" @default.
• W4311443586 countsByYear W43114435862022 @default.
• W4311443586 crossrefType "journal-article" @default.
• W4311443586 hasAuthorship W4311443586A5032157042 @default.
• W4311443586 hasAuthorship W4311443586A5057086547 @default.
• W4311443586 hasAuthorship W4311443586A5065261670 @default.
• W4311443586 hasAuthorship W4311443586A5083585434 @default.
• W4311443586 hasBestOaLocation W43114435861 @default.
• W4311443586 hasConcept C115903868 @default.
• W4311443586 hasConcept C134306372 @default.
• W4311443586 hasConcept C138885662 @default.
• W4311443586 hasConcept C154945302 @default.
• W4311443586 hasConcept C160191386 @default.
• W4311443586 hasConcept C199360897 @default.
• W4311443586 hasConcept C2776126399 @default.
• W4311443586 hasConcept C2777021972 @default.
• W4311443586 hasConcept C2779136372 @default.
• W4311443586 hasConcept C2779687700 @default.
• W4311443586 hasConcept C3073032 @default.
• W4311443586 hasConcept C33923547 @default.
• W4311443586 hasConcept C38652104 @default.
• W4311443586 hasConcept C41008148 @default.
• W4311443586 hasConcept C41608201 @default.
• W4311443586 hasConcept C41895202 @default.
• W4311443586 hasConcept C52723943 @default.
• W4311443586 hasConcept C527821871 @default.
• W4311443586 hasConcept C71745522 @default.
• W4311443586 hasConcept C73752529 @default.
• W4311443586 hasConcept C80444323 @default.
• W4311443586 hasConcept C81147070 @default.
• W4311443586 hasConceptScore W4311443586C115903868 @default.
• W4311443586 hasConceptScore W4311443586C134306372 @default.
• W4311443586 hasConceptScore W4311443586C138885662 @default.
• W4311443586 hasConceptScore W4311443586C154945302 @default.
• W4311443586 hasConceptScore W4311443586C160191386 @default.
• W4311443586 hasConceptScore W4311443586C199360897 @default.
• W4311443586 hasConceptScore W4311443586C2776126399 @default.
• W4311443586 hasConceptScore W4311443586C2777021972 @default.
• W4311443586 hasConceptScore W4311443586C2779136372 @default.
• W4311443586 hasConceptScore W4311443586C2779687700 @default.
• W4311443586 hasConceptScore W4311443586C3073032 @default.
• W4311443586 hasConceptScore W4311443586C33923547 @default.
• W4311443586 hasConceptScore W4311443586C38652104 @default.
• W4311443586 hasConceptScore W4311443586C41008148 @default.
• W4311443586 hasConceptScore W4311443586C41608201 @default.
• W4311443586 hasConceptScore W4311443586C41895202 @default.
• W4311443586 hasConceptScore W4311443586C52723943 @default.
• W4311443586 hasConceptScore W4311443586C527821871 @default.
• W4311443586 hasConceptScore W4311443586C71745522 @default.
• W4311443586 hasConceptScore W4311443586C73752529 @default.
• W4311443586 hasConceptScore W4311443586C80444323 @default.
• W4311443586 hasConceptScore W4311443586C81147070 @default.
• W4311443586 hasIssue "1" @default.
• W4311443586 hasLocation W43114435861 @default.
• W4311443586 hasOpenAccess W4311443586 @default.
• W4311443586 hasPrimaryLocation W43114435861 @default.
• W4311443586 hasRelatedWork W1644112624 @default.
• W4311443586 hasRelatedWork W2084987525 @default.

• next