{"id":"https://openalex.org/W1525307539","doi":"https://doi.org/10.1007/978-3-642-03459-6_12","title":"Towards a Type System for Security APIs","display_name":"Towards a Type System for Security APIs","publication_year":2009,"publication_date":"2009-01-01","ids":{"openalex":"https://openalex.org/W1525307539","doi":"https://doi.org/10.1007/978-3-642-03459-6_12","mag":"1525307539"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-642-03459-6_12","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-642-03459-6_12","pdf_url":null,"source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"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":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},"type":"conference-paper","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://www.research.ed.ac.uk/en/publications/fdc55a35-8ce3-4533-9bbf-6d3b34c27f30","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5038548292","display_name":"Gavin Keighren","orcid":null},"institutions":[{"id":"https://openalex.org/I98677209","display_name":"University of Edinburgh","ror":"https://ror.org/01nrxwf90","country_code":"GB","type":"education","lineage":["https://openalex.org/I98677209"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Gavin Keighren","raw_affiliation_strings":["Laboratory for Foundations of Computer Science School of Informatics, The University of Edinburgh Informatics Forum, Edinburgh, UK","Laboratory for Foundations of Computer Science School of Informatics, The University of Edinburgh Informatics Forum, Edinburgh, UK EH8 9AB#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Laboratory for Foundations of Computer Science School of Informatics, The University of Edinburgh Informatics Forum, Edinburgh, UK","institution_ids":["https://openalex.org/I98677209"]},{"raw_affiliation_string":"Laboratory for Foundations of Computer Science School of Informatics, The University of Edinburgh Informatics Forum, Edinburgh, UK EH8 9AB#TAB#","institution_ids":["https://openalex.org/I98677209"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5013254098","display_name":"David Aspinall","orcid":"https://orcid.org/0000-0002-6073-9013"},"institutions":[{"id":"https://openalex.org/I98677209","display_name":"University of Edinburgh","ror":"https://ror.org/01nrxwf90","country_code":"GB","type":"education","lineage":["https://openalex.org/I98677209"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"David Aspinall","raw_affiliation_strings":["Laboratory for Foundations of Computer Science School of Informatics, The University of Edinburgh Informatics Forum, Edinburgh, UK","Laboratory for Foundations of Computer Science School of Informatics, The University of Edinburgh Informatics Forum, Edinburgh, UK EH8 9AB#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Laboratory for Foundations of Computer Science School of Informatics, The University of Edinburgh Informatics Forum, Edinburgh, UK","institution_ids":["https://openalex.org/I98677209"]},{"raw_affiliation_string":"Laboratory for Foundations of Computer Science School of Informatics, The University of Edinburgh Informatics Forum, Edinburgh, UK EH8 9AB#TAB#","institution_ids":["https://openalex.org/I98677209"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5019612833","display_name":"Graham Steel","orcid":"https://orcid.org/0000-0003-4681-8011"},"institutions":[{"id":"https://openalex.org/I11559806","display_name":"\u00c9cole Normale Sup\u00e9rieure Paris-Saclay","ror":"https://ror.org/00hx6zz33","country_code":"FR","type":"education","lineage":["https://openalex.org/I11559806","https://openalex.org/I277688954"]},{"id":"https://openalex.org/I1294671590","display_name":"Centre National de la Recherche Scientifique","ror":"https://ror.org/02feahw73","country_code":"FR","type":"government","lineage":["https://openalex.org/I1294671590"]},{"id":"https://openalex.org/I1326498283","display_name":"Institut national de recherche en sciences et technologies du num\u00e9rique","ror":"https://ror.org/02kvxyf05","country_code":"FR","type":"government","lineage":["https://openalex.org/I1326498283"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Graham Steel","raw_affiliation_strings":["LSV, INRIA & CNRS & ENS de Cachan, CACHAN Cedex, France","LSV, INRIA & CNRS & ENS de Cachan, CACHAN Cedex, France 94235#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"LSV, INRIA & CNRS & ENS de Cachan, CACHAN Cedex, France","institution_ids":["https://openalex.org/I11559806","https://openalex.org/I1294671590","https://openalex.org/I1326498283"]},{"raw_affiliation_string":"LSV, INRIA & CNRS & ENS de Cachan, CACHAN Cedex, France 94235#TAB#","institution_ids":["https://openalex.org/I1294671590","https://openalex.org/I1326498283"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":4,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":19,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"173","last_page":"192"},"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.9987999796867371,"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/T10734","display_name":"Information and Cyber Security","score":0.9919000267982483,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"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/computer-science","display_name":"Computer science","score":0.8428529500961304},{"id":"https://openalex.org/keywords/type","display_name":"Type (biology)","score":0.5443124771118164},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.4805615246295929},{"id":"https://openalex.org/keywords/computer-security","display_name":"Computer security","score":0.3928433060646057}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8428529500961304},{"id":"https://openalex.org/C2777299769","wikidata":"https://www.wikidata.org/wiki/Q3707858","display_name":"Type (biology)","level":2,"score":0.5443124771118164},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.4805615246295929},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.3928433060646057},{"id":"https://openalex.org/C18903297","wikidata":"https://www.wikidata.org/wiki/Q7150","display_name":"Ecology","level":1,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0}],"mesh":[],"locations_count":4,"locations":[{"id":"doi:10.1007/978-3-642-03459-6_12","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-642-03459-6_12","pdf_url":null,"source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"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":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.151.7606","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.151.7606","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.lsv.ens-cachan.fr/Publis/PAPERS/PDF/KAS-arspawits09.pdf","raw_type":"text"},{"id":"pmh:oai:pure.ed.ac.uk:openaire/fdc55a35-8ce3-4533-9bbf-6d3b34c27f30","is_oa":true,"landing_page_url":"https://www.research.ed.ac.uk/en/publications/fdc55a35-8ce3-4533-9bbf-6d3b34c27f30","pdf_url":null,"source":{"id":"https://openalex.org/S4406922455","display_name":"Edinburgh Research Explorer","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Keighren, G, Aspinall, D & Steel, G 2009, Towards a Type System for Security APIs. in P Degano & L Vigan\u00f2 (eds), Foundations and Applications of Security Analysis : Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security, ARSPA-WITS 2009, York, UK, March 28-29, 2009, Revised Selected Papers. Lecture Notes in Computer Science, vol. 5511, pp. 173-192. https://doi.org/10.1007/978-3-642-03459-6_12","raw_type":"contributionToPeriodical"},{"id":"pmh:oai:pure.ed.ac.uk:publications/fdc55a35-8ce3-4533-9bbf-6d3b34c27f30","is_oa":false,"landing_page_url":"http://link.springer.com/chapter/10.1007%2F978-3-642-03459-6_12","pdf_url":null,"source":{"id":"https://openalex.org/S4406922455","display_name":"Edinburgh Research Explorer","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":""}],"best_oa_location":{"id":"pmh:oai:pure.ed.ac.uk:openaire/fdc55a35-8ce3-4533-9bbf-6d3b34c27f30","is_oa":true,"landing_page_url":"https://www.research.ed.ac.uk/en/publications/fdc55a35-8ce3-4533-9bbf-6d3b34c27f30","pdf_url":null,"source":{"id":"https://openalex.org/S4406922455","display_name":"Edinburgh Research Explorer","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Keighren, G, Aspinall, D & Steel, G 2009, Towards a Type System for Security APIs. in P Degano & L Vigan\u00f2 (eds), Foundations and Applications of Security Analysis : Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security, ARSPA-WITS 2009, York, UK, March 28-29, 2009, Revised Selected Papers. Lecture Notes in Computer Science, vol. 5511, pp. 173-192. https://doi.org/10.1007/978-3-642-03459-6_12","raw_type":"contributionToPeriodical"},"sustainable_development_goals":[{"score":0.6100000143051147,"id":"https://metadata.un.org/sdg/16","display_name":"Peace, Justice and strong institutions"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":26,"referenced_works":["https://openalex.org/W75368128","https://openalex.org/W141091997","https://openalex.org/W1514302123","https://openalex.org/W1518401470","https://openalex.org/W1518533182","https://openalex.org/W1551753488","https://openalex.org/W1556566737","https://openalex.org/W1561082169","https://openalex.org/W1573553750","https://openalex.org/W1827306861","https://openalex.org/W1966219798","https://openalex.org/W1967444160","https://openalex.org/W1991354622","https://openalex.org/W2036961426","https://openalex.org/W2109614775","https://openalex.org/W2127035198","https://openalex.org/W2139017685","https://openalex.org/W2150174204","https://openalex.org/W2154209904","https://openalex.org/W2161011930","https://openalex.org/W2161246822","https://openalex.org/W2166870727","https://openalex.org/W2490219158","https://openalex.org/W2494576483","https://openalex.org/W2796564118","https://openalex.org/W4285719527"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2748952813","https://openalex.org/W2390279801","https://openalex.org/W2358668433","https://openalex.org/W4396701345","https://openalex.org/W2376932109","https://openalex.org/W2001405890","https://openalex.org/W4396696052","https://openalex.org/W4402327032","https://openalex.org/W2382290278"],"abstract_inverted_index":null,"counts_by_year":[{"year":2017,"cited_by_count":1},{"year":2016,"cited_by_count":1},{"year":2013,"cited_by_count":5},{"year":2012,"cited_by_count":4}],"updated_date":"2026-07-22T07:51:19.307946","created_date":"2025-10-10T00:00:00"}