FRINK Linked Data Fragments server

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

• W2744258875 abstract "We propose a novel method for the verification of information flow security in component-based systems. The method is (a) modular w.r.t. services and components, i.e., overall security is proved to follow from the security of the individual services provided by the components, and (b) modular w.r.t. attackers, i.e., verified security properties can be re-used to demonstrate security w.r.t. different kinds of attacks." @default.
• W2744258875 created "2017-08-17" @default.
• W2744258875 creator A5003024686 @default.
• W2744258875 creator A5028947472 @default.
• W2744258875 creator A5070821215 @default.
• W2744258875 date "2017-01-01" @default.
• W2744258875 modified "2023-09-27" @default.
• W2744258875 title "Modular Verification of Information Flow Security in Component-Based Systems" @default.
• W2744258875 cites W1482412090 @default.
• W2744258875 cites W1519566437 @default.
• W2744258875 cites W1553421328 @default.
• W2744258875 cites W1553622521 @default.
• W2744258875 cites W1699577049 @default.
• W2744258875 cites W1920159904 @default.
• W2744258875 cites W1971105699 @default.
• W2744258875 cites W1977764760 @default.
• W2744258875 cites W2014950794 @default.
• W2744258875 cites W2034527657 @default.
• W2744258875 cites W2071700915 @default.
• W2744258875 cites W2102917576 @default.
• W2744258875 cites W2108887121 @default.
• W2744258875 cites W2113660296 @default.
• W2744258875 cites W2128932642 @default.
• W2744258875 cites W2158126684 @default.
• W2744258875 cites W2165623482 @default.
• W2744258875 cites W2170018380 @default.
• W2744258875 cites W2197122927 @default.
• W2744258875 cites W2346134553 @default.
• W2744258875 cites W2396971097 @default.
• W2744258875 cites W2508816844 @default.
• W2744258875 cites W2744258875 @default.
• W2744258875 cites W343556549 @default.
• W2744258875 cites W50887981 @default.
• W2744258875 doi "https://doi.org/10.1007/978-3-319-66197-1_19" @default.
• W2744258875 hasPublicationYear "2017" @default.
• W2744258875 type Work @default.
• W2744258875 sameAs 2744258875 @default.
• W2744258875 citedByCount "5" @default.
• W2744258875 countsByYear W27442588752017 @default.
• W2744258875 countsByYear W27442588752018 @default.
• W2744258875 countsByYear W27442588752019 @default.
• W2744258875 crossrefType "book-chapter" @default.
• W2744258875 hasAuthorship W2744258875A5003024686 @default.
• W2744258875 hasAuthorship W2744258875A5028947472 @default.
• W2744258875 hasAuthorship W2744258875A5070821215 @default.
• W2744258875 hasConcept C101468663 @default.
• W2744258875 hasConcept C103377522 @default.
• W2744258875 hasConcept C111919701 @default.
• W2744258875 hasConcept C121332964 @default.
• W2744258875 hasConcept C121822524 @default.
• W2744258875 hasConcept C138885662 @default.
• W2744258875 hasConcept C168167062 @default.
• W2744258875 hasConcept C184842701 @default.
• W2744258875 hasConcept C195518309 @default.
• W2744258875 hasConcept C199360897 @default.
• W2744258875 hasConcept C2524010 @default.
• W2744258875 hasConcept C2779136372 @default.
• W2744258875 hasConcept C29983905 @default.
• W2744258875 hasConcept C33923547 @default.
• W2744258875 hasConcept C38349280 @default.
• W2744258875 hasConcept C38652104 @default.
• W2744258875 hasConcept C41008148 @default.
• W2744258875 hasConcept C41895202 @default.
• W2744258875 hasConcept C527648132 @default.
• W2744258875 hasConcept C79974875 @default.
• W2744258875 hasConcept C97355855 @default.
• W2744258875 hasConceptScore W2744258875C101468663 @default.
• W2744258875 hasConceptScore W2744258875C103377522 @default.
• W2744258875 hasConceptScore W2744258875C111919701 @default.
• W2744258875 hasConceptScore W2744258875C121332964 @default.
• W2744258875 hasConceptScore W2744258875C121822524 @default.
• W2744258875 hasConceptScore W2744258875C138885662 @default.
• W2744258875 hasConceptScore W2744258875C168167062 @default.
• W2744258875 hasConceptScore W2744258875C184842701 @default.
• W2744258875 hasConceptScore W2744258875C195518309 @default.
• W2744258875 hasConceptScore W2744258875C199360897 @default.
• W2744258875 hasConceptScore W2744258875C2524010 @default.
• W2744258875 hasConceptScore W2744258875C2779136372 @default.
• W2744258875 hasConceptScore W2744258875C29983905 @default.
• W2744258875 hasConceptScore W2744258875C33923547 @default.
• W2744258875 hasConceptScore W2744258875C38349280 @default.
• W2744258875 hasConceptScore W2744258875C38652104 @default.
• W2744258875 hasConceptScore W2744258875C41008148 @default.
• W2744258875 hasConceptScore W2744258875C41895202 @default.
• W2744258875 hasConceptScore W2744258875C527648132 @default.
• W2744258875 hasConceptScore W2744258875C79974875 @default.
• W2744258875 hasConceptScore W2744258875C97355855 @default.
• W2744258875 hasLocation W27442588751 @default.
• W2744258875 hasOpenAccess W2744258875 @default.
• W2744258875 hasPrimaryLocation W27442588751 @default.
• W2744258875 hasRelatedWork W133051671 @default.
• W2744258875 hasRelatedWork W1652096249 @default.
• W2744258875 hasRelatedWork W1827592073 @default.
• W2744258875 hasRelatedWork W1986105640 @default.
• W2744258875 hasRelatedWork W2041757814 @default.
• W2744258875 hasRelatedWork W2047125094 @default.
• W2744258875 hasRelatedWork W2064686477 @default.
• W2744258875 hasRelatedWork W2157236339 @default.
• W2744258875 hasRelatedWork W2162472374 @default.
• W2744258875 hasRelatedWork W2355094959 @default.

• next