Matches in SemOpenAlex for { <https://semopenalex.org/work/W156076853> ?p ?o ?g. }
Showing items 1 to 73 of
73
with 100 items per page.
- W156076853 endingPage "1" @default.
- W156076853 startingPage "1" @default.
- W156076853 abstract "Cyber war is recognized to be real. Like all wars this is bad for many people, but not for manufacturers of weapons. An attacker in cyber war can be defined as an unauthorized user process without access to physical side channels; with physical access we would be back to ordinary warfare and espionage. IT infrastructure which - by separation theorems - can be guaranteed to be immune against such attackers is therefore a defensive weapon in cyber war. The verification community is the only potential manufacturer of such infrastructure and thus has a chance to access resources vastly superior to those for ordinary research and development. In order to develop such infrastructure, one would have to Problem (3) could be solved by providing standardized machine readable specifications of the usual components of IT infrastructure. Note that agreeing on standards is usually a non trivial sociological process. (1), (2) and (4) are ’ordinary’ technical problems. In the main part of this talk we will review the state of the art for these problems and estimate the resources to resolve the remaining open subproblems. The resulting costs are large compared to normal research budgets and very small compared to the cost of war." @default.
- W156076853 created "2016-06-24" @default.
- W156076853 creator A5072563928 @default.
- W156076853 date "2012-01-01" @default.
- W156076853 modified "2023-09-25" @default.
- W156076853 title "Cyber War, Formal Verification and Certified Infrastructure" @default.
- W156076853 doi "https://doi.org/10.1007/978-3-642-27705-4_1" @default.
- W156076853 hasPublicationYear "2012" @default.
- W156076853 type Work @default.
- W156076853 sameAs 156076853 @default.
- W156076853 citedByCount "3" @default.
- W156076853 countsByYear W1560768532013 @default.
- W156076853 countsByYear W1560768532015 @default.
- W156076853 crossrefType "book-chapter" @default.
- W156076853 hasAuthorship W156076853A5072563928 @default.
- W156076853 hasBestOaLocation W1560768531 @default.
- W156076853 hasConcept C10138342 @default.
- W156076853 hasConcept C111919701 @default.
- W156076853 hasConcept C11413529 @default.
- W156076853 hasConcept C127413603 @default.
- W156076853 hasConcept C144133560 @default.
- W156076853 hasConcept C171769113 @default.
- W156076853 hasConcept C17744445 @default.
- W156076853 hasConcept C178489894 @default.
- W156076853 hasConcept C179768478 @default.
- W156076853 hasConcept C182306322 @default.
- W156076853 hasConcept C199539241 @default.
- W156076853 hasConcept C29852176 @default.
- W156076853 hasConcept C38652104 @default.
- W156076853 hasConcept C41008148 @default.
- W156076853 hasConcept C46304622 @default.
- W156076853 hasConcept C48103436 @default.
- W156076853 hasConcept C558872910 @default.
- W156076853 hasConcept C98045186 @default.
- W156076853 hasConcept C99712631 @default.
- W156076853 hasConceptScore W156076853C10138342 @default.
- W156076853 hasConceptScore W156076853C111919701 @default.
- W156076853 hasConceptScore W156076853C11413529 @default.
- W156076853 hasConceptScore W156076853C127413603 @default.
- W156076853 hasConceptScore W156076853C144133560 @default.
- W156076853 hasConceptScore W156076853C171769113 @default.
- W156076853 hasConceptScore W156076853C17744445 @default.
- W156076853 hasConceptScore W156076853C178489894 @default.
- W156076853 hasConceptScore W156076853C179768478 @default.
- W156076853 hasConceptScore W156076853C182306322 @default.
- W156076853 hasConceptScore W156076853C199539241 @default.
- W156076853 hasConceptScore W156076853C29852176 @default.
- W156076853 hasConceptScore W156076853C38652104 @default.
- W156076853 hasConceptScore W156076853C41008148 @default.
- W156076853 hasConceptScore W156076853C46304622 @default.
- W156076853 hasConceptScore W156076853C48103436 @default.
- W156076853 hasConceptScore W156076853C558872910 @default.
- W156076853 hasConceptScore W156076853C98045186 @default.
- W156076853 hasConceptScore W156076853C99712631 @default.
- W156076853 hasLocation W1560768531 @default.
- W156076853 hasOpenAccess W156076853 @default.
- W156076853 hasPrimaryLocation W1560768531 @default.
- W156076853 hasRelatedWork W156076853 @default.
- W156076853 hasRelatedWork W171776811 @default.
- W156076853 hasRelatedWork W2296060994 @default.
- W156076853 hasRelatedWork W2463781536 @default.
- W156076853 hasRelatedWork W2560596517 @default.
- W156076853 hasRelatedWork W2796407792 @default.
- W156076853 hasRelatedWork W2920841236 @default.
- W156076853 hasRelatedWork W3130600302 @default.
- W156076853 hasRelatedWork W3209140192 @default.
- W156076853 hasRelatedWork W4285256911 @default.
- W156076853 isParatext "false" @default.
- W156076853 isRetracted "false" @default.
- W156076853 magId "156076853" @default.
- W156076853 workType "book-chapter" @default.