Matches in SemOpenAlex for { <https://semopenalex.org/work/W1567549069> ?p ?o ?g. }
Showing items 1 to 66 of
66
with 100 items per page.
- W1567549069 endingPage "303" @default.
- W1567549069 startingPage "292" @default.
- W1567549069 abstract "We present an efficient method for analyzing information flow of a recursive program. In our method, security levels of data can be formalized as an arbitrary finite lattice. We prove the correctness of the proposed algorithm and also show that the algorithm can be executed in cubic time in the size of a program. Furthermore, the algorithm is extended so that operations which hide information of their arguments can be appropriately modeled by using a congruence relation. Experimental results by using a protypic system are also presented." @default.
- W1567549069 created "2016-06-24" @default.
- W1567549069 creator A5018228908 @default.
- W1567549069 creator A5031083059 @default.
- W1567549069 creator A5036320798 @default.
- W1567549069 creator A5055766301 @default.
- W1567549069 date "2001-01-01" @default.
- W1567549069 modified "2023-09-23" @default.
- W1567549069 title "An Efficient Information Flow Analysis of Recursive Programs Based on a Lattice Model of Security Classes" @default.
- W1567549069 cites W1507045691 @default.
- W1567549069 cites W1518533182 @default.
- W1567549069 cites W1990048025 @default.
- W1567549069 cites W2016017569 @default.
- W1567549069 cites W2027499684 @default.
- W1567549069 cites W2057503672 @default.
- W1567549069 cites W2094873755 @default.
- W1567549069 cites W2102654013 @default.
- W1567549069 cites W2129278597 @default.
- W1567549069 cites W2158126684 @default.
- W1567549069 doi "https://doi.org/10.1007/3-540-45600-7_33" @default.
- W1567549069 hasPublicationYear "2001" @default.
- W1567549069 type Work @default.
- W1567549069 sameAs 1567549069 @default.
- W1567549069 citedByCount "1" @default.
- W1567549069 crossrefType "book-chapter" @default.
- W1567549069 hasAuthorship W1567549069A5018228908 @default.
- W1567549069 hasAuthorship W1567549069A5031083059 @default.
- W1567549069 hasAuthorship W1567549069A5036320798 @default.
- W1567549069 hasAuthorship W1567549069A5055766301 @default.
- W1567549069 hasBestOaLocation W15675490692 @default.
- W1567549069 hasConcept C121332964 @default.
- W1567549069 hasConcept C138885662 @default.
- W1567549069 hasConcept C24890656 @default.
- W1567549069 hasConcept C2779136372 @default.
- W1567549069 hasConcept C2781204021 @default.
- W1567549069 hasConcept C41008148 @default.
- W1567549069 hasConcept C41895202 @default.
- W1567549069 hasConcept C80444323 @default.
- W1567549069 hasConceptScore W1567549069C121332964 @default.
- W1567549069 hasConceptScore W1567549069C138885662 @default.
- W1567549069 hasConceptScore W1567549069C24890656 @default.
- W1567549069 hasConceptScore W1567549069C2779136372 @default.
- W1567549069 hasConceptScore W1567549069C2781204021 @default.
- W1567549069 hasConceptScore W1567549069C41008148 @default.
- W1567549069 hasConceptScore W1567549069C41895202 @default.
- W1567549069 hasConceptScore W1567549069C80444323 @default.
- W1567549069 hasLocation W15675490691 @default.
- W1567549069 hasLocation W15675490692 @default.
- W1567549069 hasOpenAccess W1567549069 @default.
- W1567549069 hasPrimaryLocation W15675490691 @default.
- W1567549069 hasRelatedWork W105424761 @default.
- W1567549069 hasRelatedWork W136900201 @default.
- W1567549069 hasRelatedWork W1578412398 @default.
- W1567549069 hasRelatedWork W1584043719 @default.
- W1567549069 hasRelatedWork W2361697850 @default.
- W1567549069 hasRelatedWork W2375174984 @default.
- W1567549069 hasRelatedWork W2386721913 @default.
- W1567549069 hasRelatedWork W2392953011 @default.
- W1567549069 hasRelatedWork W3016288678 @default.
- W1567549069 hasRelatedWork W71711846 @default.
- W1567549069 isParatext "false" @default.
- W1567549069 isRetracted "false" @default.
- W1567549069 magId "1567549069" @default.
- W1567549069 workType "book-chapter" @default.