Matches in SemOpenAlex for { <https://semopenalex.org/work/W2133647580> ?p ?o ?g. }
Showing items 1 to 77 of
77
with 100 items per page.
- W2133647580 abstract "We propose an approach on model checking information flow for imperative language with procedures. We characterize our model with pushdown system, which has a stack of unbounded length that naturally models the execution of procedural programs. Because the type-based static analysis is sometimes too conservative and rejects safe program as ill-typed, we take a semantic-based approach by self-composing symbolic pushdown system and specifying noninterference with LTL formula. Then we verify this LTL-expressed property via model checker Moped. Except for overcoming the conservative characteristic of type-based approach, our motivation also includes the insufficient state of arts on precise information flow analysis under interprocedural setting. To remedy the inefficiency of model checking compared with type system, we propose both compact form and contracted form of self-composition. According to experimental results, they can greatly increase the efficiency of realistic verification. Our method provides flexibility on separating program abstraction from noninterference verification, thus could be expected to use on different programming languages." @default.
- W2133647580 created "2016-06-24" @default.
- W2133647580 creator A5015418685 @default.
- W2133647580 creator A5058987076 @default.
- W2133647580 creator A5077343172 @default.
- W2133647580 date "2009-01-01" @default.
- W2133647580 modified "2023-10-18" @default.
- W2133647580 title "Secure Information Flow by Model Checking Pushdown System" @default.
- W2133647580 cites W1518533182 @default.
- W2133647580 cites W1519566437 @default.
- W2133647580 cites W1977764760 @default.
- W2133647580 cites W2016017569 @default.
- W2133647580 cites W2054383157 @default.
- W2133647580 cites W2057503672 @default.
- W2133647580 cites W2101936540 @default.
- W2133647580 cites W2104334667 @default.
- W2133647580 cites W2122049982 @default.
- W2133647580 cites W2139799388 @default.
- W2133647580 cites W2149854126 @default.
- W2133647580 cites W2150174204 @default.
- W2133647580 cites W2164365018 @default.
- W2133647580 cites W2173102238 @default.
- W2133647580 cites W1593632240 @default.
- W2133647580 doi "https://doi.org/10.1109/uic-atc.2009.44" @default.
- W2133647580 hasPublicationYear "2009" @default.
- W2133647580 type Work @default.
- W2133647580 sameAs 2133647580 @default.
- W2133647580 citedByCount "10" @default.
- W2133647580 countsByYear W21336475802012 @default.
- W2133647580 countsByYear W21336475802014 @default.
- W2133647580 countsByYear W21336475802015 @default.
- W2133647580 countsByYear W21336475802016 @default.
- W2133647580 crossrefType "proceedings-article" @default.
- W2133647580 hasAuthorship W2133647580A5015418685 @default.
- W2133647580 hasAuthorship W2133647580A5058987076 @default.
- W2133647580 hasAuthorship W2133647580A5077343172 @default.
- W2133647580 hasBestOaLocation W21336475802 @default.
- W2133647580 hasConcept C105795698 @default.
- W2133647580 hasConcept C110251889 @default.
- W2133647580 hasConcept C138885662 @default.
- W2133647580 hasConcept C199360897 @default.
- W2133647580 hasConcept C2779136372 @default.
- W2133647580 hasConcept C2780598303 @default.
- W2133647580 hasConcept C2780654840 @default.
- W2133647580 hasConcept C33923547 @default.
- W2133647580 hasConcept C41008148 @default.
- W2133647580 hasConcept C41895202 @default.
- W2133647580 hasConcept C80444323 @default.
- W2133647580 hasConceptScore W2133647580C105795698 @default.
- W2133647580 hasConceptScore W2133647580C110251889 @default.
- W2133647580 hasConceptScore W2133647580C138885662 @default.
- W2133647580 hasConceptScore W2133647580C199360897 @default.
- W2133647580 hasConceptScore W2133647580C2779136372 @default.
- W2133647580 hasConceptScore W2133647580C2780598303 @default.
- W2133647580 hasConceptScore W2133647580C2780654840 @default.
- W2133647580 hasConceptScore W2133647580C33923547 @default.
- W2133647580 hasConceptScore W2133647580C41008148 @default.
- W2133647580 hasConceptScore W2133647580C41895202 @default.
- W2133647580 hasConceptScore W2133647580C80444323 @default.
- W2133647580 hasLocation W21336475801 @default.
- W2133647580 hasLocation W21336475802 @default.
- W2133647580 hasOpenAccess W2133647580 @default.
- W2133647580 hasPrimaryLocation W21336475801 @default.
- W2133647580 hasRelatedWork W1481569441 @default.
- W2133647580 hasRelatedWork W1583364777 @default.
- W2133647580 hasRelatedWork W2137908418 @default.
- W2133647580 hasRelatedWork W2151898527 @default.
- W2133647580 hasRelatedWork W2172022734 @default.
- W2133647580 hasRelatedWork W2377542611 @default.
- W2133647580 hasRelatedWork W1593632240 @default.
- W2133647580 hasRelatedWork W2500461980 @default.
- W2133647580 hasRelatedWork W2611182424 @default.
- W2133647580 hasRelatedWork W2789178056 @default.
- W2133647580 isParatext "false" @default.
- W2133647580 isRetracted "false" @default.
- W2133647580 magId "2133647580" @default.
- W2133647580 workType "article" @default.