{"id":"https://openalex.org/W2036474491","doi":"https://doi.org/10.1016/s1571-0661(04)80067-7","title":"The MFPS XV Security Session","display_name":"The MFPS XV Security Session","publication_year":1999,"publication_date":"1999-01-01","ids":{"openalex":"https://openalex.org/W2036474491","doi":"https://doi.org/10.1016/s1571-0661(04)80067-7","mag":"2036474491"},"language":"en","primary_location":{"id":"doi:10.1016/s1571-0661(04)80067-7","is_oa":true,"landing_page_url":"https://doi.org/10.1016/s1571-0661(04)80067-7","pdf_url":null,"source":{"id":"https://openalex.org/S50368787","display_name":"Electronic Notes in Theoretical Computer Science","issn_l":"1571-0661","issn":["1571-0661"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320990","host_organization_name":"Elsevier BV","host_organization_lineage":["https://openalex.org/P4310320990"],"host_organization_lineage_names":["Elsevier BV"],"type":"journal"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Electronic Notes in Theoretical Computer Science","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"diamond","oa_url":"https://doi.org/10.1016/s1571-0661(04)80067-7","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5021410622","display_name":"Catherine Meadows","orcid":"https://orcid.org/0009-0006-0673-711X"},"institutions":[{"id":"https://openalex.org/I1288214837","display_name":"United States Naval Research Laboratory","ror":"https://ror.org/04d23a975","country_code":"US","type":"facility","lineage":["https://openalex.org/I1288214837","https://openalex.org/I1330347796","https://openalex.org/I175003984","https://openalex.org/I3130687028"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Catherine Meadows","raw_affiliation_strings":["Naval Research Laboratory Code 5543, Washington, DC 20372"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Naval Research Laboratory Code 5543, Washington, DC 20372","institution_ids":["https://openalex.org/I1288214837"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5049277739","display_name":"Dennis Volpano","orcid":null},"institutions":[{"id":"https://openalex.org/I35364215","display_name":"Naval Postgraduate School","ror":"https://ror.org/033yfkj90","country_code":"US","type":"education","lineage":["https://openalex.org/I1330347796","https://openalex.org/I3130687028","https://openalex.org/I35364215"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Dennis Volpano","raw_affiliation_strings":["Department of Computer Science, Naval Postgraduate School, Monterey, CA","Dept. of Comput. Sci., Naval Postgraduate Sch., Monterey, CA#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science, Naval Postgraduate School, Monterey, CA","institution_ids":["https://openalex.org/I35364215"]},{"raw_affiliation_string":"Dept. of Comput. Sci., Naval Postgraduate Sch., Monterey, CA#TAB#","institution_ids":["https://openalex.org/I35364215"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5021410622","https://openalex.org/A5049277739"],"corresponding_institution_ids":["https://openalex.org/I1288214837","https://openalex.org/I35364215"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.19942884,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"20","issue":null,"first_page":"76","last_page":"79"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11504","display_name":"Advanced Authentication Protocols Security","score":0.9997000098228455,"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.9997000098228455,"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/T11800","display_name":"User Authentication and Security Systems","score":0.9984999895095825,"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"}},{"id":"https://openalex.org/T10951","display_name":"Cryptographic Implementations and Security","score":0.9977999925613403,"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/secrecy","display_name":"Secrecy","score":0.8048785924911499},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7683650851249695},{"id":"https://openalex.org/keywords/session","display_name":"Session (web analytics)","score":0.6681386828422546},{"id":"https://openalex.org/keywords/computer-security","display_name":"Computer security","score":0.6652517318725586},{"id":"https://openalex.org/keywords/key","display_name":"Key (lock)","score":0.5744313597679138},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.5492156744003296},{"id":"https://openalex.org/keywords/cryptography","display_name":"Cryptography","score":0.5143028497695923},{"id":"https://openalex.org/keywords/protocol","display_name":"Protocol (science)","score":0.4673728346824646},{"id":"https://openalex.org/keywords/cryptographic-protocol","display_name":"Cryptographic protocol","score":0.4660113453865051},{"id":"https://openalex.org/keywords/field","display_name":"Field (mathematics)","score":0.4642781615257263},{"id":"https://openalex.org/keywords/george","display_name":"George (robot)","score":0.4326365888118744},{"id":"https://openalex.org/keywords/world-wide-web","display_name":"World Wide Web","score":0.2326636016368866},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.21320879459381104},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.09772422909736633}],"concepts":[{"id":"https://openalex.org/C2776452267","wikidata":"https://www.wikidata.org/wiki/Q1503443","display_name":"Secrecy","level":2,"score":0.8048785924911499},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7683650851249695},{"id":"https://openalex.org/C2779182362","wikidata":"https://www.wikidata.org/wiki/Q17126187","display_name":"Session (web analytics)","level":2,"score":0.6681386828422546},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.6652517318725586},{"id":"https://openalex.org/C26517878","wikidata":"https://www.wikidata.org/wiki/Q228039","display_name":"Key (lock)","level":2,"score":0.5744313597679138},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.5492156744003296},{"id":"https://openalex.org/C178489894","wikidata":"https://www.wikidata.org/wiki/Q8789","display_name":"Cryptography","level":2,"score":0.5143028497695923},{"id":"https://openalex.org/C2780385302","wikidata":"https://www.wikidata.org/wiki/Q367158","display_name":"Protocol (science)","level":3,"score":0.4673728346824646},{"id":"https://openalex.org/C33884865","wikidata":"https://www.wikidata.org/wiki/Q1254335","display_name":"Cryptographic protocol","level":3,"score":0.4660113453865051},{"id":"https://openalex.org/C9652623","wikidata":"https://www.wikidata.org/wiki/Q190109","display_name":"Field (mathematics)","level":2,"score":0.4642781615257263},{"id":"https://openalex.org/C67101536","wikidata":"https://www.wikidata.org/wiki/Q5535910","display_name":"George (robot)","level":2,"score":0.4326365888118744},{"id":"https://openalex.org/C136764020","wikidata":"https://www.wikidata.org/wiki/Q466","display_name":"World Wide Web","level":1,"score":0.2326636016368866},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.21320879459381104},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.09772422909736633},{"id":"https://openalex.org/C204787440","wikidata":"https://www.wikidata.org/wiki/Q188504","display_name":"Alternative medicine","level":2,"score":0.0},{"id":"https://openalex.org/C71924100","wikidata":"https://www.wikidata.org/wiki/Q11190","display_name":"Medicine","level":0,"score":0.0},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.0},{"id":"https://openalex.org/C142724271","wikidata":"https://www.wikidata.org/wiki/Q7208","display_name":"Pathology","level":1,"score":0.0},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1016/s1571-0661(04)80067-7","is_oa":true,"landing_page_url":"https://doi.org/10.1016/s1571-0661(04)80067-7","pdf_url":null,"source":{"id":"https://openalex.org/S50368787","display_name":"Electronic Notes in Theoretical Computer Science","issn_l":"1571-0661","issn":["1571-0661"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320990","host_organization_name":"Elsevier BV","host_organization_lineage":["https://openalex.org/P4310320990"],"host_organization_lineage_names":["Elsevier BV"],"type":"journal"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Electronic Notes in Theoretical Computer Science","raw_type":"journal-article"},{"id":"pmh:ADA487379","is_oa":false,"landing_page_url":"http://oai.dtic.mil/oai/oai?&verb=getRecord&metadataPrefix=html&identifier=ADA487379","pdf_url":null,"source":{"id":"https://openalex.org/S4406923043","display_name":"Defense Technical Information Center (DTIC)","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":"DTIC","raw_type":"Text"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.33.6752","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.33.6752","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.cs.nps.navy.mil/people/faculty/volpano/papers/mfps15intro.ps.gz","raw_type":"text"}],"best_oa_location":{"id":"doi:10.1016/s1571-0661(04)80067-7","is_oa":true,"landing_page_url":"https://doi.org/10.1016/s1571-0661(04)80067-7","pdf_url":null,"source":{"id":"https://openalex.org/S50368787","display_name":"Electronic Notes in Theoretical Computer Science","issn_l":"1571-0661","issn":["1571-0661"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320990","host_organization_name":"Elsevier BV","host_organization_lineage":["https://openalex.org/P4310320990"],"host_organization_lineage_names":["Elsevier BV"],"type":"journal"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Electronic Notes in Theoretical Computer Science","raw_type":"journal-article"},"sustainable_development_goals":[{"display_name":"Industry, innovation and infrastructure","score":0.6399999856948853,"id":"https://metadata.un.org/sdg/9"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":7,"referenced_works":["https://openalex.org/W2010939995","https://openalex.org/W2013672985","https://openalex.org/W2074306037","https://openalex.org/W2099137371","https://openalex.org/W2128932399","https://openalex.org/W2150426251","https://openalex.org/W2169216703"],"related_works":["https://openalex.org/W1907436174","https://openalex.org/W2289378658","https://openalex.org/W1531360494","https://openalex.org/W2093529019","https://openalex.org/W87530933","https://openalex.org/W154233216","https://openalex.org/W2102905434","https://openalex.org/W2626486901","https://openalex.org/W2026856585","https://openalex.org/W1988007309"],"abstract_inverted_index":{"Introduction":[0],"Security":[1],"has":[2],"long":[3],"been":[4],"a":[5,16,47],"popular":[6],"application":[7],"of":[8,19,101,106,142,151],"formal":[9,36,91],"methods.":[10],"This":[11],"is":[12,15,41,87],"because":[13],"it":[14],"fertile":[17],"source":[18],"challenging":[20],"problems":[21],"that":[22],"are":[23,44],"important":[24],"enough":[25],"to":[26,46,59,110],"justify":[27],"the":[28,99],"effort":[29],"involved":[30,113],"in":[31,90,98,155],"developing":[32],"mathematical":[33],"models":[34],"and":[35,66,69,93,120,133,154],"techniques.":[37],"And":[38],"their":[39],"importance":[40],"growing.":[42],"We":[43],"moving":[45],"more":[48],"networked":[49],"world":[50],"where":[51],"our":[52,57],"vital":[53],"transactions":[54],"depend":[55],"upon":[56,67],"ability":[58],"communicate":[60],"securely":[61],"over":[62],"an":[63,149],"untrusted":[64],"network":[65],"information":[68],"software":[70],"obtained":[71],"from":[72],"parties":[73],"about":[74],"whom":[75],"we":[76,147],"may":[77],"know":[78],"little":[79],"if":[80],"anything.":[81],"To":[82],"meet":[83],"these":[84,152],"challenges,":[85],"MFPS":[86],"bringing":[88],"people":[89],"methods":[92],"semantics":[94],"together":[95],"with":[96],"researchers":[97],"field":[100],"security.":[102,111,143],"A":[103],"special":[104],"session":[105],"MFPS15":[107],"was":[108],"devoted":[109],"It":[112],"one":[114],"invited":[115],"talk":[116],"by":[117],"Mart'in":[118],"Abadi,":[119],"six":[121],"speakers,":[122],"Dominique":[123],"Bolignano,":[124],"Carl":[125],"Gunter,":[126],"Pat":[127],"Lincoln,":[128],"George":[129],"Necula,":[130],"Geoffrey":[131],"Smith,":[132],"Paul":[134],"Syverson.":[135],"The":[136],"speakers":[137],"covered":[138],"four":[139],"major":[140],"areas":[141,153],"In":[144],"this":[145],"introduction,":[146],"give":[148],"overview":[150]},"counts_by_year":[],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}