Matches in SemOpenAlex for { <https://semopenalex.org/work/W4296960198> ?p ?o ?g. }
Showing items 1 to 90 of
90
with 100 items per page.
- W4296960198 endingPage "226" @default.
- W4296960198 startingPage "209" @default.
- W4296960198 abstract "In security-critical software applications, confidential information must be prevented from leaking to unauthorized sinks. Static analysis techniques are widespread to enforce a secure information flow by checking a program after construction. A drawback of these systems is that incomplete programs during construction cannot be checked properly. The user is not guided to a secure program by most systems. We introduce IFbCOO, an approach that guides users incrementally to a secure implementation by using refinement rules. In each refinement step, confidentiality or integrity (or both) is guaranteed alongside the functional correctness of the program, such that insecure programs are declined by construction. In this work, we formalize IFbCOO and prove soundness of the refinement rules. We implement IFbCOO in the tool CorC and conduct a feasibility study by successfully implementing case studies." @default.
- W4296960198 created "2022-09-25" @default.
- W4296960198 creator A5032157042 @default.
- W4296960198 creator A5057086547 @default.
- W4296960198 creator A5065261670 @default.
- W4296960198 creator A5083585434 @default.
- W4296960198 creator A5087838610 @default.
- W4296960198 date "2022-01-01" @default.
- W4296960198 modified "2023-10-03" @default.
- W4296960198 title "Information Flow Control-by-Construction for an Object-Oriented Language" @default.
- W4296960198 cites W1542510445 @default.
- W4296960198 cites W1590831289 @default.
- W4296960198 cites W1748842448 @default.
- W4296960198 cites W1750915279 @default.
- W4296960198 cites W1867052887 @default.
- W4296960198 cites W1965484730 @default.
- W4296960198 cites W1971486022 @default.
- W4296960198 cites W1976054113 @default.
- W4296960198 cites W1993302007 @default.
- W4296960198 cites W2001673651 @default.
- W4296960198 cites W2033348393 @default.
- W4296960198 cites W2041169043 @default.
- W4296960198 cites W2080849400 @default.
- W4296960198 cites W2102917576 @default.
- W4296960198 cites W2116352900 @default.
- W4296960198 cites W2121396013 @default.
- W4296960198 cites W2122049982 @default.
- W4296960198 cites W2122573903 @default.
- W4296960198 cites W2158126684 @default.
- W4296960198 cites W2898419262 @default.
- W4296960198 cites W2900040591 @default.
- W4296960198 cites W2933445160 @default.
- W4296960198 cites W3086466681 @default.
- W4296960198 cites W4206365978 @default.
- W4296960198 cites W4244819751 @default.
- W4296960198 cites W4285226895 @default.
- W4296960198 cites W4296960198 @default.
- W4296960198 cites W4311443586 @default.
- W4296960198 doi "https://doi.org/10.1007/978-3-031-17108-6_13" @default.
- W4296960198 hasPublicationYear "2022" @default.
- W4296960198 type Work @default.
- W4296960198 citedByCount "2" @default.
- W4296960198 countsByYear W42969601982022 @default.
- W4296960198 countsByYear W42969601982023 @default.
- W4296960198 crossrefType "book-chapter" @default.
- W4296960198 hasAuthorship W4296960198A5032157042 @default.
- W4296960198 hasAuthorship W4296960198A5057086547 @default.
- W4296960198 hasAuthorship W4296960198A5065261670 @default.
- W4296960198 hasAuthorship W4296960198A5083585434 @default.
- W4296960198 hasAuthorship W4296960198A5087838610 @default.
- W4296960198 hasConcept C115903868 @default.
- W4296960198 hasConcept C138885662 @default.
- W4296960198 hasConcept C160191386 @default.
- W4296960198 hasConcept C199360897 @default.
- W4296960198 hasConcept C2779136372 @default.
- W4296960198 hasConcept C38652104 @default.
- W4296960198 hasConcept C39920170 @default.
- W4296960198 hasConcept C41008148 @default.
- W4296960198 hasConcept C41895202 @default.
- W4296960198 hasConcept C55439883 @default.
- W4296960198 hasConcept C71745522 @default.
- W4296960198 hasConceptScore W4296960198C115903868 @default.
- W4296960198 hasConceptScore W4296960198C138885662 @default.
- W4296960198 hasConceptScore W4296960198C160191386 @default.
- W4296960198 hasConceptScore W4296960198C199360897 @default.
- W4296960198 hasConceptScore W4296960198C2779136372 @default.
- W4296960198 hasConceptScore W4296960198C38652104 @default.
- W4296960198 hasConceptScore W4296960198C39920170 @default.
- W4296960198 hasConceptScore W4296960198C41008148 @default.
- W4296960198 hasConceptScore W4296960198C41895202 @default.
- W4296960198 hasConceptScore W4296960198C55439883 @default.
- W4296960198 hasConceptScore W4296960198C71745522 @default.
- W4296960198 hasLocation W42969601981 @default.
- W4296960198 hasOpenAccess W4296960198 @default.
- W4296960198 hasPrimaryLocation W42969601981 @default.
- W4296960198 hasRelatedWork W1188080205 @default.
- W4296960198 hasRelatedWork W1885991348 @default.
- W4296960198 hasRelatedWork W2082306491 @default.
- W4296960198 hasRelatedWork W2782054465 @default.
- W4296960198 hasRelatedWork W3047979636 @default.
- W4296960198 hasRelatedWork W3086466681 @default.
- W4296960198 hasRelatedWork W4237428255 @default.
- W4296960198 hasRelatedWork W4290057624 @default.
- W4296960198 hasRelatedWork W4296960198 @default.
- W4296960198 hasRelatedWork W4298870596 @default.
- W4296960198 isParatext "false" @default.
- W4296960198 isRetracted "false" @default.
- W4296960198 workType "book-chapter" @default.