FRINK Linked Data Fragments server

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

• W1597778235 endingPage "89" @default.
• W1597778235 startingPage "75" @default.
• W1597778235 abstract "Non-interference is typically used as a baseline security policy to formalize confidentiality of secret information manipulated by a program. In contrast to static checking of non-interference, this paper considers dynamic, automaton-based, monitoring of information flow for a single execution of a sequential program. The monitoring mechanism is based on a combination of dynamic and static analyses. During program execution, abstractions of program events are sent to the automaton, which uses the abstractions to track information flows and to control the execution by forbidding or editing dangerous actions. The mechanism proposed is proved to be sound, to preserve executions of well-typed programs (in the security type system of Volpano, Smith and Irvine), and to preserve some safe executions of ill-typed programs." @default.
• W1597778235 created "2016-06-24" @default.
• W1597778235 creator A5003706361 @default.
• W1597778235 creator A5017765915 @default.
• W1597778235 creator A5020594899 @default.
• W1597778235 creator A5070702252 @default.
• W1597778235 date "2007-01-01" @default.
• W1597778235 modified "2023-10-12" @default.
• W1597778235 title "Automata-Based Confidentiality Monitoring" @default.
• W1597778235 cites W1496712790 @default.
• W1597778235 cites W1519566437 @default.
• W1597778235 cites W1542510445 @default.
• W1597778235 cites W1574561446 @default.
• W1597778235 cites W1584150393 @default.
• W1597778235 cites W1977764760 @default.
• W1597778235 cites W2011333687 @default.
• W1597778235 cites W2036910349 @default.
• W1597778235 cites W2054696368 @default.
• W1597778235 cites W2057503672 @default.
• W1597778235 cites W2061056245 @default.
• W1597778235 cites W2067012475 @default.
• W1597778235 cites W2068341689 @default.
• W1597778235 cites W2075849836 @default.
• W1597778235 cites W2098820900 @default.
• W1597778235 cites W2111030512 @default.
• W1597778235 cites W2113660296 @default.
• W1597778235 cites W2122049982 @default.
• W1597778235 cites W2132461047 @default.
• W1597778235 cites W2150174204 @default.
• W1597778235 cites W2156456150 @default.
• W1597778235 cites W2158126684 @default.
• W1597778235 cites W4249903311 @default.
• W1597778235 doi "https://doi.org/10.1007/978-3-540-77505-8_7" @default.
• W1597778235 hasPublicationYear "2007" @default.
• W1597778235 type Work @default.
• W1597778235 sameAs 1597778235 @default.
• W1597778235 citedByCount "59" @default.
• W1597778235 countsByYear W15977782352012 @default.
• W1597778235 countsByYear W15977782352013 @default.
• W1597778235 countsByYear W15977782352014 @default.
• W1597778235 countsByYear W15977782352015 @default.
• W1597778235 countsByYear W15977782352016 @default.
• W1597778235 countsByYear W15977782352017 @default.
• W1597778235 countsByYear W15977782352018 @default.
• W1597778235 countsByYear W15977782352019 @default.
• W1597778235 countsByYear W15977782352020 @default.
• W1597778235 countsByYear W15977782352021 @default.
• W1597778235 crossrefType "book-chapter" @default.
• W1597778235 hasAuthorship W1597778235A5003706361 @default.
• W1597778235 hasAuthorship W1597778235A5017765915 @default.
• W1597778235 hasAuthorship W1597778235A5020594899 @default.
• W1597778235 hasAuthorship W1597778235A5070702252 @default.
• W1597778235 hasBestOaLocation W15977782352 @default.
• W1597778235 hasConcept C112505250 @default.
• W1597778235 hasConcept C138885662 @default.
• W1597778235 hasConcept C160191386 @default.
• W1597778235 hasConcept C199360897 @default.
• W1597778235 hasConcept C2777904410 @default.
• W1597778235 hasConcept C2779136372 @default.
• W1597778235 hasConcept C2779639559 @default.
• W1597778235 hasConcept C38652104 @default.
• W1597778235 hasConcept C41008148 @default.
• W1597778235 hasConcept C41895202 @default.
• W1597778235 hasConcept C71745522 @default.
• W1597778235 hasConcept C80444323 @default.
• W1597778235 hasConcept C97686452 @default.
• W1597778235 hasConceptScore W1597778235C112505250 @default.
• W1597778235 hasConceptScore W1597778235C138885662 @default.
• W1597778235 hasConceptScore W1597778235C160191386 @default.
• W1597778235 hasConceptScore W1597778235C199360897 @default.
• W1597778235 hasConceptScore W1597778235C2777904410 @default.
• W1597778235 hasConceptScore W1597778235C2779136372 @default.
• W1597778235 hasConceptScore W1597778235C2779639559 @default.
• W1597778235 hasConceptScore W1597778235C38652104 @default.
• W1597778235 hasConceptScore W1597778235C41008148 @default.
• W1597778235 hasConceptScore W1597778235C41895202 @default.
• W1597778235 hasConceptScore W1597778235C71745522 @default.
• W1597778235 hasConceptScore W1597778235C80444323 @default.
• W1597778235 hasConceptScore W1597778235C97686452 @default.
• W1597778235 hasLocation W15977782351 @default.
• W1597778235 hasLocation W15977782352 @default.
• W1597778235 hasLocation W15977782353 @default.
• W1597778235 hasLocation W15977782354 @default.
• W1597778235 hasOpenAccess W1597778235 @default.
• W1597778235 hasPrimaryLocation W15977782351 @default.
• W1597778235 hasRelatedWork W136900201 @default.
• W1597778235 hasRelatedWork W1597778235 @default.
• W1597778235 hasRelatedWork W1903577715 @default.
• W1597778235 hasRelatedWork W2375174984 @default.
• W1597778235 hasRelatedWork W2735939546 @default.
• W1597778235 hasRelatedWork W2807810763 @default.
• W1597778235 hasRelatedWork W3110753053 @default.
• W1597778235 hasRelatedWork W3150597919 @default.
• W1597778235 hasRelatedWork W33961106 @default.
• W1597778235 hasRelatedWork W4229928981 @default.
• W1597778235 isParatext "false" @default.
• W1597778235 isRetracted "false" @default.
• W1597778235 magId "1597778235" @default.

• next