{"id":"https://openalex.org/W1811739458","doi":"https://doi.org/10.3233/jcs-2009-389","title":"Inductive trace properties for computational security","display_name":"Inductive trace properties for computational security","publication_year":2010,"publication_date":"2010-09-20","ids":{"openalex":"https://openalex.org/W1811739458","doi":"https://doi.org/10.3233/jcs-2009-389","mag":"1811739458"},"language":"en","primary_location":{"id":"doi:10.3233/jcs-2009-389","is_oa":false,"landing_page_url":"https://doi.org/10.3233/jcs-2009-389","pdf_url":null,"source":{"id":"https://openalex.org/S106992369","display_name":"Journal of Computer Security","issn_l":"0926-227X","issn":["0926-227X","1875-8924"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310318577","host_organization_name":"IOS Press","host_organization_lineage":["https://openalex.org/P4310318577"],"host_organization_lineage_names":["IOS Press"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Computer Security","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/A5100605963","display_name":"Arnab Roy","orcid":"https://orcid.org/0000-0002-3284-7076"},"institutions":[{"id":"https://openalex.org/I97018004","display_name":"Stanford University","ror":"https://ror.org/00f54p054","country_code":"US","type":"education","lineage":["https://openalex.org/I97018004"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Arnab Roy","raw_affiliation_strings":["Stanford University, Stanford, CA, USA. E-mails: aderek@cs.stanford.edu, mitchell@cs.stanford.edu","(Correspd. Tel.: +1 650 725 3110; Fax: +1 650 725 4671; E-mail: arnab@cs.stanford.edu) Stanford University, Stanford, CA, USA. E-mails: {aderek, mitchell}@cs.stanford.edu#TAB#"],"affiliations":[{"raw_affiliation_string":"Stanford University, Stanford, CA, USA. E-mails: aderek@cs.stanford.edu, mitchell@cs.stanford.edu","institution_ids":["https://openalex.org/I97018004"]},{"raw_affiliation_string":"(Correspd. Tel.: +1 650 725 3110; Fax: +1 650 725 4671; E-mail: arnab@cs.stanford.edu) Stanford University, Stanford, CA, USA. E-mails: {aderek, mitchell}@cs.stanford.edu#TAB#","institution_ids":["https://openalex.org/I97018004"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5111177928","display_name":"Anupam Datta","orcid":"https://orcid.org/0009-0006-5125-7588"},"institutions":[{"id":"https://openalex.org/I74973139","display_name":"Carnegie Mellon University","ror":"https://ror.org/05x2bcf33","country_code":"US","type":"education","lineage":["https://openalex.org/I74973139"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Anupam Datta","raw_affiliation_strings":["Carnegie Mellon University, Pittsburgh, PA, USA. E-mail: danupam@andrew.cmu.edu"],"affiliations":[{"raw_affiliation_string":"Carnegie Mellon University, Pittsburgh, PA, USA. E-mail: danupam@andrew.cmu.edu","institution_ids":["https://openalex.org/I74973139"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5074161714","display_name":"Ante \u0110erek","orcid":"https://orcid.org/0000-0002-2437-8134"},"institutions":[{"id":"https://openalex.org/I97018004","display_name":"Stanford University","ror":"https://ror.org/00f54p054","country_code":"US","type":"education","lineage":["https://openalex.org/I97018004"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Ante Derek","raw_affiliation_strings":["Stanford University, Stanford, CA, USA. E-mails: aderek@cs.stanford.edu, mitchell@cs.stanford.edu"],"affiliations":[{"raw_affiliation_string":"Stanford University, Stanford, CA, USA. E-mails: aderek@cs.stanford.edu, mitchell@cs.stanford.edu","institution_ids":["https://openalex.org/I97018004"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5101897622","display_name":"John C. Mitchell","orcid":"https://orcid.org/0000-0002-0024-860X"},"institutions":[{"id":"https://openalex.org/I97018004","display_name":"Stanford University","ror":"https://ror.org/00f54p054","country_code":"US","type":"education","lineage":["https://openalex.org/I97018004"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"John C. Mitchell","raw_affiliation_strings":["Stanford University, Stanford, CA, USA. E-mails: aderek@cs.stanford.edu, mitchell@cs.stanford.edu"],"affiliations":[{"raw_affiliation_string":"Stanford University, Stanford, CA, USA. E-mails: aderek@cs.stanford.edu, mitchell@cs.stanford.edu","institution_ids":["https://openalex.org/I97018004"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5100605963"],"corresponding_institution_ids":["https://openalex.org/I97018004"],"apc_list":null,"apc_paid":null,"fwci":2.1368,"has_fulltext":false,"cited_by_count":10,"citation_normalized_percentile":{"value":0.87097041,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":97},"biblio":{"volume":"18","issue":"6","first_page":"1035","last_page":"1073"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11504","display_name":"Advanced Authentication Protocols Security","score":0.9994000196456909,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/T11504","display_name":"Advanced Authentication Protocols Security","score":0.9994000196456909,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/T10237","display_name":"Cryptography and Data Security","score":0.9990000128746033,"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/T11800","display_name":"User Authentication and Security Systems","score":0.9990000128746033,"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/trace","display_name":"TRACE (psycholinguistics)","score":0.7643200159072876},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6895318031311035},{"id":"https://openalex.org/keywords/plaintext","display_name":"Plaintext","score":0.6161388158798218},{"id":"https://openalex.org/keywords/secrecy","display_name":"Secrecy","score":0.5882722735404968},{"id":"https://openalex.org/keywords/ciphertext","display_name":"Ciphertext","score":0.5615971088409424},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.4917810261249542},{"id":"https://openalex.org/keywords/authentication","display_name":"Authentication (law)","score":0.47495174407958984},{"id":"https://openalex.org/keywords/property","display_name":"Property (philosophy)","score":0.47457030415534973},{"id":"https://openalex.org/keywords/forward-secrecy","display_name":"Forward secrecy","score":0.44441571831703186},{"id":"https://openalex.org/keywords/encryption","display_name":"Encryption","score":0.43710559606552124},{"id":"https://openalex.org/keywords/computer-security","display_name":"Computer security","score":0.42133116722106934},{"id":"https://openalex.org/keywords/public-key-cryptography","display_name":"Public-key cryptography","score":0.1699773669242859}],"concepts":[{"id":"https://openalex.org/C75291252","wikidata":"https://www.wikidata.org/wiki/Q1315756","display_name":"TRACE (psycholinguistics)","level":2,"score":0.7643200159072876},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6895318031311035},{"id":"https://openalex.org/C92717368","wikidata":"https://www.wikidata.org/wiki/Q1162538","display_name":"Plaintext","level":3,"score":0.6161388158798218},{"id":"https://openalex.org/C2776452267","wikidata":"https://www.wikidata.org/wiki/Q1503443","display_name":"Secrecy","level":2,"score":0.5882722735404968},{"id":"https://openalex.org/C93974786","wikidata":"https://www.wikidata.org/wiki/Q1589480","display_name":"Ciphertext","level":3,"score":0.5615971088409424},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4917810261249542},{"id":"https://openalex.org/C148417208","wikidata":"https://www.wikidata.org/wiki/Q4825882","display_name":"Authentication (law)","level":2,"score":0.47495174407958984},{"id":"https://openalex.org/C189950617","wikidata":"https://www.wikidata.org/wiki/Q937228","display_name":"Property (philosophy)","level":2,"score":0.47457030415534973},{"id":"https://openalex.org/C205009425","wikidata":"https://www.wikidata.org/wiki/Q935662","display_name":"Forward secrecy","level":4,"score":0.44441571831703186},{"id":"https://openalex.org/C148730421","wikidata":"https://www.wikidata.org/wiki/Q141090","display_name":"Encryption","level":2,"score":0.43710559606552124},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.42133116722106934},{"id":"https://openalex.org/C203062551","wikidata":"https://www.wikidata.org/wiki/Q201339","display_name":"Public-key cryptography","level":3,"score":0.1699773669242859},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0},{"id":"https://openalex.org/C41895202","wikidata":"https://www.wikidata.org/wiki/Q8162","display_name":"Linguistics","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.3233/jcs-2009-389","is_oa":false,"landing_page_url":"https://doi.org/10.3233/jcs-2009-389","pdf_url":null,"source":{"id":"https://openalex.org/S106992369","display_name":"Journal of Computer Security","issn_l":"0926-227X","issn":["0926-227X","1875-8924"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310318577","host_organization_name":"IOS Press","host_organization_lineage":["https://openalex.org/P4310318577"],"host_organization_lineage_names":["IOS Press"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Computer Security","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/16","display_name":"Peace, Justice and strong institutions","score":0.800000011920929}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":55,"referenced_works":["https://openalex.org/W17933574","https://openalex.org/W197449918","https://openalex.org/W1480122568","https://openalex.org/W1493927711","https://openalex.org/W1498469271","https://openalex.org/W1505522548","https://openalex.org/W1505659502","https://openalex.org/W1508967933","https://openalex.org/W1511736975","https://openalex.org/W1530116042","https://openalex.org/W1542059364","https://openalex.org/W1561492881","https://openalex.org/W1573231949","https://openalex.org/W1588865000","https://openalex.org/W1597908183","https://openalex.org/W1599617995","https://openalex.org/W1603876738","https://openalex.org/W1607941647","https://openalex.org/W1656028867","https://openalex.org/W1670563787","https://openalex.org/W1702767838","https://openalex.org/W1760594424","https://openalex.org/W1867273832","https://openalex.org/W1892798954","https://openalex.org/W1901278359","https://openalex.org/W1913041503","https://openalex.org/W1949661937","https://openalex.org/W1974664062","https://openalex.org/W1976791634","https://openalex.org/W1978023080","https://openalex.org/W2001539364","https://openalex.org/W2013623332","https://openalex.org/W2049224403","https://openalex.org/W2052539228","https://openalex.org/W2102632421","https://openalex.org/W2104578476","https://openalex.org/W2104655005","https://openalex.org/W2106880005","https://openalex.org/W2108978217","https://openalex.org/W2110172854","https://openalex.org/W2112896529","https://openalex.org/W2114486737","https://openalex.org/W2121670402","https://openalex.org/W2126137401","https://openalex.org/W2127035198","https://openalex.org/W2149215908","https://openalex.org/W2153281696","https://openalex.org/W2156773905","https://openalex.org/W2166933234","https://openalex.org/W2168277905","https://openalex.org/W2397756951","https://openalex.org/W2400049039","https://openalex.org/W2907882992","https://openalex.org/W3032639674","https://openalex.org/W4285719527"],"related_works":["https://openalex.org/W2997530193","https://openalex.org/W2942137924","https://openalex.org/W4236344152","https://openalex.org/W4310649982","https://openalex.org/W2011667854","https://openalex.org/W1589129854","https://openalex.org/W2802117553","https://openalex.org/W2939324531","https://openalex.org/W4294104609","https://openalex.org/W3042758862"],"abstract_inverted_index":{"Protocol":[0],"authentication":[1,8,14,131],"properties":[2,69,108],"are":[3,33],"generally":[4],"trace-based,":[5],"meaning":[6],"that":[7,45,51,109,122],"holds":[9,15],"for":[10,16,73,150],"the":[11,21,29,37,60,103,134],"protocol":[12,22],"if":[13],"individual":[17],"traces":[18,64,86],"(runs":[19],"of":[20,62,65,83,87],"and":[23,115,130,141,156],"adversary).":[24],"Computational":[25],"secrecy":[26,129,152],"conditions,":[27],"on":[28,59],"other":[30],"hand,":[31],"often":[32],"not":[34,53,93],"trace":[35,107,125],"based:":[36],"ability":[38],"to":[39,97],"computa":[40],"tionally":[41],"distinguish":[42],"a":[43,47,71,80,88,123,147,157],"system":[44],"transmits":[46],"secret":[48],"from":[49],"one":[50],"does":[52,92],"is":[54,79],"measured":[55],"by":[56,113],"overall":[57],"success":[58],"set":[61],"all":[63],"each":[66],"system.":[67],"Non-trace-based":[68],"present":[70],"challenge":[72],"inductive":[74],"or":[75],"compositional":[76],"methods:":[77],"induction":[78,114],"natural":[81],"way":[82],"reasoning":[84],"about":[85],"system,":[89],"but":[90],"it":[91],"appear":[94],"directly":[95],"applicable":[96],"non-trace":[98],"properties.":[99],"We":[100,144],"therefore":[101],"investigate":[102],"semantic":[104],"connection":[105],"between":[106],"could":[110],"be":[111],"established":[112],"non-trace-based":[116],"security":[117,140],"requirements.":[118],"Specifically,":[119],"we":[120],"prove":[121,146],"certain":[124],"property":[126],"implies":[127],"computational":[128,151],"properties,":[132],"assuming":[133,153],"encryption":[135,161],"scheme":[136],"provides":[137],"chosen":[138,158],"ciphertext":[139,142],"integrity.":[143],"also":[145],"similar":[148],"theorem":[149],"Decisional":[154],"Diffie\u2013Hellman":[155],"plaintext":[159],"secure":[160],"scheme.":[162]},"counts_by_year":[{"year":2016,"cited_by_count":1},{"year":2013,"cited_by_count":1},{"year":2012,"cited_by_count":3}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}