FRINK Linked Data Fragments server

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

• W2900842017 abstract "Given recent high-profile successes in formal verification of security-related properties (e.g., for seL4), and the rising popularity of applying formal methods to cryptographic libraries and security protocols like TLS, we revisit the meaning of security-related proofs about software. We re-examine old issues, and identify new questions that have escaped scrutiny in the formal methods literature. We consider what value proofs about software systems deliver to end-users (e.g., in terms of net assurance benefits), and at what cost in terms of side effects (such as changes made to software to facilitate the proofs, and assumption-related deployment restrictions imposed on software if these proofs are to remain valid in operation). We consider in detail, for the first time to our knowledge, possible relationships between proofs and side effects. To make our discussion concrete, we draw on tangible examples, experience, and the literature." @default.
• W2900842017 created "2018-11-29" @default.
• W2900842017 creator A5011846293 @default.
• W2900842017 creator A5043210393 @default.
• W2900842017 date "2018-09-01" @default.
• W2900842017 modified "2023-09-24" @default.
• W2900842017 title "BP: Formal Proofs, the Fine Print and Side Effects" @default.
• W2900842017 cites W1553511155 @default.
• W2900842017 cites W1863850585 @default.
• W2900842017 cites W1890046864 @default.
• W2900842017 cites W1971880096 @default.
• W2900842017 cites W1981315040 @default.
• W2900842017 cites W1983655984 @default.
• W2900842017 cites W1987581799 @default.
• W2900842017 cites W1988079752 @default.
• W2900842017 cites W1993575476 @default.
• W2900842017 cites W2005973420 @default.
• W2900842017 cites W2006731094 @default.
• W2900842017 cites W2010939995 @default.
• W2900842017 cites W2070775894 @default.
• W2900842017 cites W2091776255 @default.
• W2900842017 cites W2105482908 @default.
• W2900842017 cites W2126823808 @default.
• W2900842017 cites W2136310957 @default.
• W2900842017 cites W2157116240 @default.
• W2900842017 cites W2159047178 @default.
• W2900842017 cites W2162773911 @default.
• W2900842017 cites W2163347957 @default.
• W2900842017 cites W2412014910 @default.
• W2900842017 cites W2544274814 @default.
• W2900842017 cites W2560756836 @default.
• W2900842017 cites W2580339477 @default.
• W2900842017 cites W2618267215 @default.
• W2900842017 cites W2640092413 @default.
• W2900842017 cites W2679033717 @default.
• W2900842017 cites W2751246305 @default.
• W2900842017 cites W2768371114 @default.
• W2900842017 cites W3016501173 @default.
• W2900842017 cites W3021677606 @default.
• W2900842017 cites W4230236249 @default.
• W2900842017 doi "https://doi.org/10.1109/secdev.2018.00009" @default.
• W2900842017 hasPublicationYear "2018" @default.
• W2900842017 type Work @default.
• W2900842017 sameAs 2900842017 @default.
• W2900842017 citedByCount "8" @default.
• W2900842017 countsByYear W29008420172019 @default.
• W2900842017 countsByYear W29008420172020 @default.
• W2900842017 countsByYear W29008420172023 @default.
• W2900842017 crossrefType "proceedings-article" @default.
• W2900842017 hasAuthorship W2900842017A5011846293 @default.
• W2900842017 hasAuthorship W2900842017A5043210393 @default.
• W2900842017 hasConcept C105339364 @default.
• W2900842017 hasConcept C108710211 @default.
• W2900842017 hasConcept C115903868 @default.
• W2900842017 hasConcept C17744445 @default.
• W2900842017 hasConcept C178489894 @default.
• W2900842017 hasConcept C199360897 @default.
• W2900842017 hasConcept C199539241 @default.
• W2900842017 hasConcept C2524010 @default.
• W2900842017 hasConcept C2776050585 @default.
• W2900842017 hasConcept C2777904410 @default.
• W2900842017 hasConcept C2780586970 @default.
• W2900842017 hasConcept C2985583900 @default.
• W2900842017 hasConcept C29983905 @default.
• W2900842017 hasConcept C33923547 @default.
• W2900842017 hasConcept C38652104 @default.
• W2900842017 hasConcept C41008148 @default.
• W2900842017 hasConcept C527648132 @default.
• W2900842017 hasConcept C62913178 @default.
• W2900842017 hasConcept C75606506 @default.
• W2900842017 hasConceptScore W2900842017C105339364 @default.
• W2900842017 hasConceptScore W2900842017C108710211 @default.
• W2900842017 hasConceptScore W2900842017C115903868 @default.
• W2900842017 hasConceptScore W2900842017C17744445 @default.
• W2900842017 hasConceptScore W2900842017C178489894 @default.
• W2900842017 hasConceptScore W2900842017C199360897 @default.
• W2900842017 hasConceptScore W2900842017C199539241 @default.
• W2900842017 hasConceptScore W2900842017C2524010 @default.
• W2900842017 hasConceptScore W2900842017C2776050585 @default.
• W2900842017 hasConceptScore W2900842017C2777904410 @default.
• W2900842017 hasConceptScore W2900842017C2780586970 @default.
• W2900842017 hasConceptScore W2900842017C2985583900 @default.
• W2900842017 hasConceptScore W2900842017C29983905 @default.
• W2900842017 hasConceptScore W2900842017C33923547 @default.
• W2900842017 hasConceptScore W2900842017C38652104 @default.
• W2900842017 hasConceptScore W2900842017C41008148 @default.
• W2900842017 hasConceptScore W2900842017C527648132 @default.
• W2900842017 hasConceptScore W2900842017C62913178 @default.
• W2900842017 hasConceptScore W2900842017C75606506 @default.
• W2900842017 hasLocation W29008420171 @default.
• W2900842017 hasOpenAccess W2900842017 @default.
• W2900842017 hasPrimaryLocation W29008420171 @default.
• W2900842017 hasRelatedWork W1524361563 @default.
• W2900842017 hasRelatedWork W1964111820 @default.
• W2900842017 hasRelatedWork W1978415201 @default.
• W2900842017 hasRelatedWork W2178511292 @default.
• W2900842017 hasRelatedWork W2785508145 @default.
• W2900842017 hasRelatedWork W2900842017 @default.
• W2900842017 hasRelatedWork W2971360157 @default.
• W2900842017 hasRelatedWork W3028597541 @default.

• next