FRINK Linked Data Fragments server

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

• W2135366939 abstract "Covert channels can result in unauthorized information flows when exploited by malicious software. To address this problem, we present a precise, formal definition for covert channels, which relies on control flow dependency tracing through program execution, and extends Dennings' and subsequent classic work in secure information flow [9][40][30]. A formal security Domain Model (DM) for conducting static analysis of programs to identify covert channel vulnerabilities is described. The DM is comprised of an Invariant Model, which defines the generic concepts of program state, information flow, and covert channel rules; and an Implementation Model, which specifies the behavior of a target program. The DM is compiled from a representation of the program, written in a domain-specific Implementation Modeling Language (IML), and a specification of the security policy written in Alloy. The Alloy Analyzer tool is used to perform static analysis of the DM to automatically detect potential covert channel vulnerabilities and security policy violations in the target program." @default.
• W2135366939 created "2016-06-24" @default.
• W2135366939 creator A5006145166 @default.
• W2135366939 creator A5014402333 @default.
• W2135366939 creator A5034772676 @default.
• W2135366939 creator A5063935662 @default.
• W2135366939 date "2008-06-07" @default.
• W2135366939 modified "2023-10-18" @default.
• W2135366939 title "A security domain model to assess software for exploitable covert channels" @default.
• W2135366939 cites W1559945648 @default.
• W2135366939 cites W1581993637 @default.
• W2135366939 cites W1824487558 @default.
• W2135366939 cites W1969938710 @default.
• W2135366939 cites W1977764760 @default.
• W2135366939 cites W1994476536 @default.
• W2135366939 cites W2045234005 @default.
• W2135366939 cites W2048500751 @default.
• W2135366939 cites W2080914957 @default.
• W2135366939 cites W2081846250 @default.
• W2135366939 cites W2094873755 @default.
• W2135366939 cites W2098451214 @default.
• W2135366939 cites W2099137371 @default.
• W2135366939 cites W2100019646 @default.
• W2135366939 cites W2122049982 @default.
• W2135366939 cites W2129278597 @default.
• W2135366939 cites W2135046885 @default.
• W2135366939 cites W2142931032 @default.
• W2135366939 cites W2150174204 @default.
• W2135366939 cites W2151185692 @default.
• W2135366939 cites W2159897734 @default.
• W2135366939 cites W2166180744 @default.
• W2135366939 doi "https://doi.org/10.1145/1375696.1375703" @default.
• W2135366939 hasPublicationYear "2008" @default.
• W2135366939 type Work @default.
• W2135366939 sameAs 2135366939 @default.
• W2135366939 citedByCount "16" @default.
• W2135366939 countsByYear W21353669392012 @default.
• W2135366939 countsByYear W21353669392013 @default.
• W2135366939 countsByYear W21353669392014 @default.
• W2135366939 countsByYear W21353669392015 @default.
• W2135366939 countsByYear W21353669392016 @default.
• W2135366939 countsByYear W21353669392017 @default.
• W2135366939 crossrefType "proceedings-article" @default.
• W2135366939 hasAuthorship W2135366939A5006145166 @default.
• W2135366939 hasAuthorship W2135366939A5014402333 @default.
• W2135366939 hasAuthorship W2135366939A5034772676 @default.
• W2135366939 hasAuthorship W2135366939A5063935662 @default.
• W2135366939 hasConcept C103377522 @default.
• W2135366939 hasConcept C111919701 @default.
• W2135366939 hasConcept C121822524 @default.
• W2135366939 hasConcept C127162648 @default.
• W2135366939 hasConcept C134306372 @default.
• W2135366939 hasConcept C138673069 @default.
• W2135366939 hasConcept C138885662 @default.
• W2135366939 hasConcept C154908896 @default.
• W2135366939 hasConcept C184842701 @default.
• W2135366939 hasConcept C199360897 @default.
• W2135366939 hasConcept C2779136372 @default.
• W2135366939 hasConcept C2779338814 @default.
• W2135366939 hasConcept C29024540 @default.
• W2135366939 hasConcept C31258907 @default.
• W2135366939 hasConcept C33923547 @default.
• W2135366939 hasConcept C36503486 @default.
• W2135366939 hasConcept C38652104 @default.
• W2135366939 hasConcept C41008148 @default.
• W2135366939 hasConcept C41895202 @default.
• W2135366939 hasConcept C79974875 @default.
• W2135366939 hasConcept C80444323 @default.
• W2135366939 hasConcept C97686452 @default.
• W2135366939 hasConceptScore W2135366939C103377522 @default.
• W2135366939 hasConceptScore W2135366939C111919701 @default.
• W2135366939 hasConceptScore W2135366939C121822524 @default.
• W2135366939 hasConceptScore W2135366939C127162648 @default.
• W2135366939 hasConceptScore W2135366939C134306372 @default.
• W2135366939 hasConceptScore W2135366939C138673069 @default.
• W2135366939 hasConceptScore W2135366939C138885662 @default.
• W2135366939 hasConceptScore W2135366939C154908896 @default.
• W2135366939 hasConceptScore W2135366939C184842701 @default.
• W2135366939 hasConceptScore W2135366939C199360897 @default.
• W2135366939 hasConceptScore W2135366939C2779136372 @default.
• W2135366939 hasConceptScore W2135366939C2779338814 @default.
• W2135366939 hasConceptScore W2135366939C29024540 @default.
• W2135366939 hasConceptScore W2135366939C31258907 @default.
• W2135366939 hasConceptScore W2135366939C33923547 @default.
• W2135366939 hasConceptScore W2135366939C36503486 @default.
• W2135366939 hasConceptScore W2135366939C38652104 @default.
• W2135366939 hasConceptScore W2135366939C41008148 @default.
• W2135366939 hasConceptScore W2135366939C41895202 @default.
• W2135366939 hasConceptScore W2135366939C79974875 @default.
• W2135366939 hasConceptScore W2135366939C80444323 @default.
• W2135366939 hasConceptScore W2135366939C97686452 @default.
• W2135366939 hasLocation W21353669391 @default.
• W2135366939 hasOpenAccess W2135366939 @default.
• W2135366939 hasPrimaryLocation W21353669391 @default.
• W2135366939 hasRelatedWork W136900201 @default.
• W2135366939 hasRelatedWork W1534488301 @default.
• W2135366939 hasRelatedWork W1547128638 @default.
• W2135366939 hasRelatedWork W182787102 @default.
• W2135366939 hasRelatedWork W2017348396 @default.
• W2135366939 hasRelatedWork W2039319436 @default.

• next