{"id":"https://openalex.org/W4256596058","doi":"https://doi.org/10.3233/jcs-2011-0438","title":"Preface","display_name":"Preface","publication_year":2012,"publication_date":"2012-04-27","ids":{"openalex":"https://openalex.org/W4256596058","doi":"https://doi.org/10.3233/jcs-2011-0438"},"language":"en","primary_location":{"id":"doi:10.3233/jcs-2011-0438","is_oa":true,"landing_page_url":"https://doi.org/10.3233/jcs-2011-0438","pdf_url":"https://content.iospress.com:443/download/journal-of-computer-security/jcs438?id=journal-of-computer-security%2Fjcs438","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":true,"oa_status":"bronze","oa_url":"https://content.iospress.com:443/download/journal-of-computer-security/jcs438?id=journal-of-computer-security%2Fjcs438","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5039827178","display_name":"Alessandro Armando","orcid":"https://orcid.org/0000-0002-5246-2157"},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Alessandro Armando","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5112337734","display_name":"Gavin Lowe","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Gavin Lowe","raw_affiliation_strings":[],"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5039827178"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.49268261,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"20","issue":"1","first_page":"1","last_page":"1"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11504","display_name":"Advanced Authentication Protocols Security","score":0.249099999666214,"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.249099999666214,"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/T11424","display_name":"Security and Verification in Computing","score":0.24879999458789825,"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/T10126","display_name":"Logic, programming, and type systems","score":0.09309999644756317,"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/computer-science","display_name":"Computer science","score":0.7160763144493103},{"id":"https://openalex.org/keywords/enforcement","display_name":"Enforcement","score":0.6683460474014282},{"id":"https://openalex.org/keywords/information-flow","display_name":"Information flow","score":0.5704759955406189},{"id":"https://openalex.org/keywords/computer-security","display_name":"Computer security","score":0.5380342602729797},{"id":"https://openalex.org/keywords/protocol","display_name":"Protocol (science)","score":0.49528899788856506},{"id":"https://openalex.org/keywords/information-security","display_name":"Information security","score":0.49103689193725586},{"id":"https://openalex.org/keywords/information-systems-security","display_name":"Information systems security","score":0.4870012402534485},{"id":"https://openalex.org/keywords/metric","display_name":"Metric (unit)","score":0.4857969284057617},{"id":"https://openalex.org/keywords/security-policy","display_name":"Security policy","score":0.4757623076438904},{"id":"https://openalex.org/keywords/channel","display_name":"Channel (broadcasting)","score":0.45547011494636536},{"id":"https://openalex.org/keywords/observable","display_name":"Observable","score":0.4519902169704437},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.37346315383911133},{"id":"https://openalex.org/keywords/operations-research","display_name":"Operations research","score":0.364653617143631},{"id":"https://openalex.org/keywords/information-system","display_name":"Information system","score":0.32752272486686707},{"id":"https://openalex.org/keywords/law","display_name":"Law","score":0.20687589049339294},{"id":"https://openalex.org/keywords/management-information-systems","display_name":"Management information systems","score":0.18145716190338135},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.1704164445400238},{"id":"https://openalex.org/keywords/political-science","display_name":"Political science","score":0.13676491379737854},{"id":"https://openalex.org/keywords/operations-management","display_name":"Operations management","score":0.1083720326423645},{"id":"https://openalex.org/keywords/telecommunications","display_name":"Telecommunications","score":0.10056787729263306},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.09426915645599365}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7160763144493103},{"id":"https://openalex.org/C2779777834","wikidata":"https://www.wikidata.org/wiki/Q4202277","display_name":"Enforcement","level":2,"score":0.6683460474014282},{"id":"https://openalex.org/C2779136372","wikidata":"https://www.wikidata.org/wiki/Q10283002","display_name":"Information flow","level":2,"score":0.5704759955406189},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.5380342602729797},{"id":"https://openalex.org/C2780385302","wikidata":"https://www.wikidata.org/wiki/Q367158","display_name":"Protocol (science)","level":3,"score":0.49528899788856506},{"id":"https://openalex.org/C527648132","wikidata":"https://www.wikidata.org/wiki/Q189900","display_name":"Information security","level":2,"score":0.49103689193725586},{"id":"https://openalex.org/C2988319471","wikidata":"https://www.wikidata.org/wiki/Q189900","display_name":"Information systems security","level":4,"score":0.4870012402534485},{"id":"https://openalex.org/C176217482","wikidata":"https://www.wikidata.org/wiki/Q860554","display_name":"Metric (unit)","level":2,"score":0.4857969284057617},{"id":"https://openalex.org/C154908896","wikidata":"https://www.wikidata.org/wiki/Q2167404","display_name":"Security policy","level":2,"score":0.4757623076438904},{"id":"https://openalex.org/C127162648","wikidata":"https://www.wikidata.org/wiki/Q16858953","display_name":"Channel (broadcasting)","level":2,"score":0.45547011494636536},{"id":"https://openalex.org/C32848918","wikidata":"https://www.wikidata.org/wiki/Q845789","display_name":"Observable","level":2,"score":0.4519902169704437},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.37346315383911133},{"id":"https://openalex.org/C42475967","wikidata":"https://www.wikidata.org/wiki/Q194292","display_name":"Operations research","level":1,"score":0.364653617143631},{"id":"https://openalex.org/C180198813","wikidata":"https://www.wikidata.org/wiki/Q121182","display_name":"Information system","level":2,"score":0.32752272486686707},{"id":"https://openalex.org/C199539241","wikidata":"https://www.wikidata.org/wiki/Q7748","display_name":"Law","level":1,"score":0.20687589049339294},{"id":"https://openalex.org/C29848774","wikidata":"https://www.wikidata.org/wiki/Q61905","display_name":"Management information systems","level":3,"score":0.18145716190338135},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.1704164445400238},{"id":"https://openalex.org/C17744445","wikidata":"https://www.wikidata.org/wiki/Q36442","display_name":"Political science","level":0,"score":0.13676491379737854},{"id":"https://openalex.org/C21547014","wikidata":"https://www.wikidata.org/wiki/Q1423657","display_name":"Operations management","level":1,"score":0.1083720326423645},{"id":"https://openalex.org/C76155785","wikidata":"https://www.wikidata.org/wiki/Q418","display_name":"Telecommunications","level":1,"score":0.10056787729263306},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.09426915645599365},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"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/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"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/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0},{"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/C41895202","wikidata":"https://www.wikidata.org/wiki/Q8162","display_name":"Linguistics","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.3233/jcs-2011-0438","is_oa":true,"landing_page_url":"https://doi.org/10.3233/jcs-2011-0438","pdf_url":"https://content.iospress.com:443/download/journal-of-computer-security/jcs438?id=journal-of-computer-security%2Fjcs438","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":{"id":"doi:10.3233/jcs-2011-0438","is_oa":true,"landing_page_url":"https://doi.org/10.3233/jcs-2011-0438","pdf_url":"https://content.iospress.com:443/download/journal-of-computer-security/jcs438?id=journal-of-computer-security%2Fjcs438","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"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4256596058.pdf","grobid_xml":"https://content.openalex.org/works/W4256596058.grobid-xml"},"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W2280699381","https://openalex.org/W1993328537","https://openalex.org/W1976808751","https://openalex.org/W2365469275","https://openalex.org/W1514244613","https://openalex.org/W2105261429","https://openalex.org/W2128487827","https://openalex.org/W3036795564","https://openalex.org/W2953659785","https://openalex.org/W2394303444"],"abstract_inverted_index":{"Security":[0,15,24,81],"contains":[1],"three":[2,59],"papers":[3,60],"that":[4,115,137,152,201,215,257],"originally":[5],"appeared":[6],"at":[7,356],"the":[8,21,54,68,76,111,121,124,142,153,165,205,249,254,282,322,341,354],"Joint":[9],"Workshop":[10],"on":[11,30,120,164,248],"Automated":[12],"Reasoning":[13],"for":[14,291,367],"Protocol":[16],"Analysis":[17],"and":[18,37,49,71,96,107,148,181,300],"Issues":[19],"in":[20,34,47,53,61,88,102,261,318],"Theory":[22],"of":[23,56,67,79,144,160,195,229,233,244,251,273,321,325,340],"(ARSPA-WITS":[25],"'10).The":[26],"workshop":[27,42,69],"was":[28],"held":[29],"March":[31],"27-28,":[32],"2010,":[33],"Paphos,":[35],"Cyprus,":[36],"affiliated":[38],"with":[39,146,312],"ETAPS":[40],"2010.The":[41],"brought":[43],"together":[44],"researchers":[45],"interested":[46],"developing":[48],"applying":[50],"formal":[51],"techniques":[52],"development":[55],"security-related":[57],"applications.The":[58],"this":[62,138],"issue":[63],"are":[64],"significant":[65],"extensions":[66],"papers,":[70],"were":[72],"reviewed":[73],"according":[74],"to":[75,141,191,263,328,360],"normal":[77],"Journal":[78],"Computer":[80],"procedures.The":[82],"first":[83],"paper,":[84,169,288],"\"Quantitative":[85],"information":[86,100],"flow":[87,101],"interactive":[89],"systems\",":[90],"by":[91,130,172,178,295,334],"M\u00e1rio":[92],"Alvim,":[93],"Miguel":[94],"Andr\u00e9s":[95],"Catuscia":[97],"Palamidessi,":[98],"considers":[99,184,303],"a":[103,131,157,161,196,217,221,242,265,270,319,326,329,337,345,364,370],"system":[104,125,198,218],"where":[105],"secrets":[106,117],"observables":[108],"alternate":[109],"during":[110],"computation.The":[112],"authors":[113,213,315,348],"show":[114,136,151,278],"if":[116],"can":[118],"depend":[119],"observables,":[122],"then":[123,268],"cannot":[126],"be":[127,226,236,259],"modelled":[128],"validly":[129],"classical":[132],"information-theoretic":[133],"channel.Instead,":[134],"they":[135,150,277,362],"setting":[139],"corresponds":[140],"notion":[143,243],"channels":[145],"memory":[147],"feedback.Finally,":[149],"channel":[154],"capacity":[155],"is":[156,279,332],"continuous":[158],"function":[159],"pseudometric":[162],"based":[163,247],"Kantorovich":[166],"metric.The":[167],"second":[168],"\"Iterative":[170],"enforcement":[171,176,187,274],"suppression:":[173],"Towards":[174],"practical":[175],"theories\",":[177],"Nataliia":[179],"Bielova":[180],"Fabio":[182,301],"Massacci,":[183],"run-time":[185],"security":[186,206],"mechanisms.Such":[188],"mechanisms":[189],"aim":[190],"suppress":[192],"bad":[193,222],"behaviours":[194,200],"monitored":[197],"(i.e.,":[199],"do":[202],"not":[203,209],"satisfy":[204],"policy)":[207],"while":[208],"changing":[210],"good":[211],"behaviours.The":[212],"observe":[214],"when":[216],"does":[219],"have":[220],"behaviour,":[223],"there":[224],"may":[225,235],"many":[227],"ways":[228],"suppressing":[230],"it,":[231],"some":[232],"which":[234,276,352],"more":[237],"desirable":[238],"than":[239,281],"others.They":[240],"define":[241,363],"\"better\"":[245],"enforcement,":[246],"number":[250],"elements":[252],"from":[253,307,344],"original":[255],"execution":[256,355],"should":[258],"suppressed":[260],"order":[262],"obtain":[264],"legal":[266],"execution.They":[267],"propose":[269],"new":[271],"class":[272],"mechanism,":[275],"better":[280],"previously":[283],"proposed":[284],"longest-validprefix":[285],"mechanism.The":[286],"final":[287],"\"Modular":[289],"plans":[290],"secure":[292],"service":[293,304,327,342],"composition\",":[294],"Gabriele":[296],"Costa,":[297],"Pierpaolo":[298],"Degano":[299],"Martinelli,":[302],"networks":[305],"built":[306],"open":[308],"services,":[309],"i.e.":[310],"services":[311,317],"unknown":[313],"components.The":[314],"model":[316,335],"variant":[320],"\u03bb-calculus;":[323],"compliance":[324],"local":[330],"policy":[331],"established":[333],"checking":[336],"safe":[338],"abstraction":[339],"obtained":[343],"type-and-effect":[346],"system.The":[347],"describe":[349],"orchestration":[350,372],"plans,":[351],"drives":[353],"runtime,":[357],"mapping":[358],"requests":[359],"services.Finally,":[361],"composition":[365],"strategy":[366],"safely":[368],"synthesizing":[369],"global":[371],"plan.":[373]},"counts_by_year":[],"updated_date":"2026-03-03T08:47:05.690250","created_date":"2022-05-12T00:00:00"}