{"id":"https://openalex.org/W1519566437","doi":"https://doi.org/10.1023/a:1011553200337","title":"A Per Model of Secure Information Flow in Sequential Programs","display_name":"A Per Model of Secure Information Flow in Sequential Programs","publication_year":2001,"publication_date":"2001-03-01","ids":{"openalex":"https://openalex.org/W1519566437","doi":"https://doi.org/10.1023/a:1011553200337","mag":"1519566437"},"language":"en","primary_location":{"id":"doi:10.1023/a:1011553200337","is_oa":false,"landing_page_url":"https://doi.org/10.1023/a:1011553200337","pdf_url":null,"source":{"id":"https://openalex.org/S4210228303","display_name":"LISP and Symbolic Computation","issn_l":"0892-4635","issn":["0892-4635","1573-0557"],"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Higher-Order and Symbolic Computation","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5070340953","display_name":"Andrei Sabelfeld","orcid":null},"institutions":[{"id":"https://openalex.org/I66862912","display_name":"Chalmers University of Technology","ror":"https://ror.org/040wg7k59","country_code":"SE","type":"education","lineage":["https://openalex.org/I66862912"]}],"countries":["SE"],"is_corresponding":true,"raw_author_name":"Andrei Sabelfeld","raw_affiliation_strings":["Department of Computer Science, Chalmers University of Technology and the University of G\u00f6teborg, 412 96, G\u00f6teborg, Sweden","Department of Computer Science, Chalmers University of Technology and the University of G\u00f6teborg, 412 96 G\u00f6teborg, Sweden. andrei@cs.chalmers.se#TAB#"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science, Chalmers University of Technology and the University of G\u00f6teborg, 412 96, G\u00f6teborg, Sweden","institution_ids":["https://openalex.org/I66862912"]},{"raw_affiliation_string":"Department of Computer Science, Chalmers University of Technology and the University of G\u00f6teborg, 412 96 G\u00f6teborg, Sweden. andrei@cs.chalmers.se#TAB#","institution_ids":["https://openalex.org/I66862912"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5082447666","display_name":"David Sands","orcid":"https://orcid.org/0000-0001-6221-0503"},"institutions":[{"id":"https://openalex.org/I66862912","display_name":"Chalmers University of Technology","ror":"https://ror.org/040wg7k59","country_code":"SE","type":"education","lineage":["https://openalex.org/I66862912"]}],"countries":["SE"],"is_corresponding":false,"raw_author_name":"David Sands","raw_affiliation_strings":["Department of Computer Science, Chalmers University of Technology and the University of G\u00f6teborg, 412 96, G\u00f6teborg, Sweden","Department of Computer Science, Chalmers University of Technology and the University of G\u00f6teborg, 412 96 G\u00f6teborg, Sweden. dave@cs.chalmers.se#TAB#"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science, Chalmers University of Technology and the University of G\u00f6teborg, 412 96, G\u00f6teborg, Sweden","institution_ids":["https://openalex.org/I66862912"]},{"raw_affiliation_string":"Department of Computer Science, Chalmers University of Technology and the University of G\u00f6teborg, 412 96 G\u00f6teborg, Sweden. dave@cs.chalmers.se#TAB#","institution_ids":["https://openalex.org/I66862912"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5070340953"],"corresponding_institution_ids":["https://openalex.org/I66862912"],"apc_list":null,"apc_paid":null,"fwci":13.6878,"has_fulltext":false,"cited_by_count":172,"citation_normalized_percentile":{"value":0.98680394,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":94,"max":100},"biblio":{"volume":"14","issue":"1","first_page":"59","last_page":"91"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11424","display_name":"Security and Verification in Computing","score":0.9998999834060669,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T11424","display_name":"Security and Verification in Computing","score":0.9998999834060669,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11241","display_name":"Advanced Malware Detection Techniques","score":0.9977999925613403,"subfield":{"id":"https://openalex.org/subfields/1711","display_name":"Signal Processing"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.9890999794006348,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/correctness","display_name":"Correctness","score":0.8264837861061096},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.729891300201416},{"id":"https://openalex.org/keywords/equivalence","display_name":"Equivalence (formal languages)","score":0.598555326461792},{"id":"https://openalex.org/keywords/probabilistic-logic","display_name":"Probabilistic logic","score":0.5763677954673767},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.5672749280929565},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.5530251264572144},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.5168421864509583},{"id":"https://openalex.org/keywords/simple","display_name":"Simple (philosophy)","score":0.44016867876052856},{"id":"https://openalex.org/keywords/abstract-interpretation","display_name":"Abstract interpretation","score":0.42620357871055603},{"id":"https://openalex.org/keywords/operational-semantics","display_name":"Operational semantics","score":0.423194020986557},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.18131956458091736},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.13037031888961792},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.11337453126907349}],"concepts":[{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.8264837861061096},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.729891300201416},{"id":"https://openalex.org/C2780069185","wikidata":"https://www.wikidata.org/wiki/Q7977945","display_name":"Equivalence (formal languages)","level":2,"score":0.598555326461792},{"id":"https://openalex.org/C49937458","wikidata":"https://www.wikidata.org/wiki/Q2599292","display_name":"Probabilistic logic","level":2,"score":0.5763677954673767},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.5672749280929565},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.5530251264572144},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5168421864509583},{"id":"https://openalex.org/C2780586882","wikidata":"https://www.wikidata.org/wiki/Q7520643","display_name":"Simple (philosophy)","level":2,"score":0.44016867876052856},{"id":"https://openalex.org/C2780654840","wikidata":"https://www.wikidata.org/wiki/Q333341","display_name":"Abstract interpretation","level":2,"score":0.42620357871055603},{"id":"https://openalex.org/C156325763","wikidata":"https://www.wikidata.org/wiki/Q1930895","display_name":"Operational semantics","level":3,"score":0.423194020986557},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.18131956458091736},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.13037031888961792},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.11337453126907349},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1023/a:1011553200337","is_oa":false,"landing_page_url":"https://doi.org/10.1023/a:1011553200337","pdf_url":null,"source":{"id":"https://openalex.org/S4210228303","display_name":"LISP and Symbolic Computation","issn_l":"0892-4635","issn":["0892-4635","1573-0557"],"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Higher-Order and Symbolic Computation","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.6399999856948853,"display_name":"Peace, Justice and strong institutions","id":"https://metadata.un.org/sdg/16"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":45,"referenced_works":["https://openalex.org/W130766217","https://openalex.org/W326743114","https://openalex.org/W1496131812","https://openalex.org/W1512095141","https://openalex.org/W1521474031","https://openalex.org/W1559686260","https://openalex.org/W1584826156","https://openalex.org/W1591919839","https://openalex.org/W1940060540","https://openalex.org/W1973641744","https://openalex.org/W1977764760","https://openalex.org/W1981580304","https://openalex.org/W1990048025","https://openalex.org/W1991895580","https://openalex.org/W1993302007","https://openalex.org/W2000108089","https://openalex.org/W2016017569","https://openalex.org/W2024355065","https://openalex.org/W2040479609","https://openalex.org/W2045267561","https://openalex.org/W2054696368","https://openalex.org/W2057292961","https://openalex.org/W2057503672","https://openalex.org/W2062024564","https://openalex.org/W2067012475","https://openalex.org/W2094873755","https://openalex.org/W2100019646","https://openalex.org/W2101444617","https://openalex.org/W2106094088","https://openalex.org/W2113660296","https://openalex.org/W2116647386","https://openalex.org/W2129278597","https://openalex.org/W2145969019","https://openalex.org/W2150174204","https://openalex.org/W2155748644","https://openalex.org/W2158904250","https://openalex.org/W2168197734","https://openalex.org/W2168686464","https://openalex.org/W2173102238","https://openalex.org/W2202040224","https://openalex.org/W2294561170","https://openalex.org/W2390351023","https://openalex.org/W3043060850","https://openalex.org/W3161361687","https://openalex.org/W4213381987"],"related_works":["https://openalex.org/W1968011359","https://openalex.org/W2951137283","https://openalex.org/W4298767027","https://openalex.org/W1836373119","https://openalex.org/W4224026286","https://openalex.org/W4387963960","https://openalex.org/W4390398618","https://openalex.org/W2104890704","https://openalex.org/W2074638034","https://openalex.org/W3177169335"],"abstract_inverted_index":null,"counts_by_year":[{"year":2025,"cited_by_count":2},{"year":2024,"cited_by_count":4},{"year":2023,"cited_by_count":3},{"year":2022,"cited_by_count":2},{"year":2021,"cited_by_count":7},{"year":2019,"cited_by_count":3},{"year":2018,"cited_by_count":4},{"year":2017,"cited_by_count":4},{"year":2016,"cited_by_count":5},{"year":2015,"cited_by_count":6},{"year":2014,"cited_by_count":14},{"year":2013,"cited_by_count":7},{"year":2012,"cited_by_count":7}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2016-06-24T00:00:00"}