{"id":"https://openalex.org/W2205525215","doi":"https://doi.org/10.3233/jcs-16849","title":"The bi-objective workflow satisfiability problem and workflow resiliency","display_name":"The bi-objective workflow satisfiability problem and workflow resiliency","publication_year":2016,"publication_date":"2016-12-23","ids":{"openalex":"https://openalex.org/W2205525215","doi":"https://doi.org/10.3233/jcs-16849","mag":"2205525215"},"language":"en","primary_location":{"id":"doi:10.3233/jcs-16849","is_oa":false,"landing_page_url":"https://doi.org/10.3233/jcs-16849","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":"preprint","indexed_in":["arxiv","crossref","datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://arxiv.org/pdf/1512.07019","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5109050799","display_name":"Jason Crampton","orcid":"https://orcid.org/0000-0003-2151-8426"},"institutions":[{"id":"https://openalex.org/I184558857","display_name":"Royal Holloway University of London","ror":"https://ror.org/04g2vpn86","country_code":"GB","type":"education","lineage":["https://openalex.org/I124357947","https://openalex.org/I184558857"]}],"countries":["GB"],"is_corresponding":true,"raw_author_name":"Jason Crampton","raw_affiliation_strings":["Royal Holloway, University of London, UK","Royal Holloway University of London, UK,"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Royal Holloway, University of London, UK","institution_ids":["https://openalex.org/I184558857"]},{"raw_affiliation_string":"Royal Holloway University of London, UK,","institution_ids":["https://openalex.org/I184558857"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5044021493","display_name":"Gregory Gutin","orcid":"https://orcid.org/0000-0002-2377-0417"},"institutions":[{"id":"https://openalex.org/I184558857","display_name":"Royal Holloway University of London","ror":"https://ror.org/04g2vpn86","country_code":"GB","type":"education","lineage":["https://openalex.org/I124357947","https://openalex.org/I184558857"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Gregory Gutin","raw_affiliation_strings":["Royal Holloway, University of London, UK","Royal Holloway University of London, UK,"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Royal Holloway, University of London, UK","institution_ids":["https://openalex.org/I184558857"]},{"raw_affiliation_string":"Royal Holloway University of London, UK,","institution_ids":["https://openalex.org/I184558857"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5075467204","display_name":"Daniel Karapetyan","orcid":"https://orcid.org/0000-0003-4030-6525"},"institutions":[{"id":"https://openalex.org/I110002522","display_name":"University of Essex","ror":"https://ror.org/02nkf1q06","country_code":"GB","type":"education","lineage":["https://openalex.org/I110002522"]},{"id":"https://openalex.org/I142263535","display_name":"University of Nottingham","ror":"https://ror.org/01ee9ar58","country_code":"GB","type":"education","lineage":["https://openalex.org/I142263535"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Daniel Karapetyan","raw_affiliation_strings":["University of Essex, UK","University of Nottingham, UK"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Essex, UK","institution_ids":["https://openalex.org/I110002522"]},{"raw_affiliation_string":"University of Nottingham, UK","institution_ids":["https://openalex.org/I142263535"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5001897583","display_name":"R\u00e9mi Watrigant","orcid":"https://orcid.org/0000-0002-6243-5910"},"institutions":[{"id":"https://openalex.org/I184558857","display_name":"Royal Holloway University of London","ror":"https://ror.org/04g2vpn86","country_code":"GB","type":"education","lineage":["https://openalex.org/I124357947","https://openalex.org/I184558857"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"R\u00e9mi Watrigant","raw_affiliation_strings":["Royal Holloway, University of London, UK","Royal Holloway University of London, UK,"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Royal Holloway, University of London, UK","institution_ids":["https://openalex.org/I184558857"]},{"raw_affiliation_string":"Royal Holloway University of London, UK,","institution_ids":["https://openalex.org/I184558857"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5109050799"],"corresponding_institution_ids":["https://openalex.org/I184558857"],"apc_list":null,"apc_paid":null,"fwci":1.0516,"has_fulltext":false,"cited_by_count":2,"citation_normalized_percentile":{"value":0.84231706,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":"25","issue":"1","first_page":"83","last_page":"115"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10927","display_name":"Access Control and Trust","score":0.9976999759674072,"subfield":{"id":"https://openalex.org/subfields/3312","display_name":"Sociology and Political Science"},"field":{"id":"https://openalex.org/fields/33","display_name":"Social Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},"topics":[{"id":"https://openalex.org/T10927","display_name":"Access Control and Trust","score":0.9976999759674072,"subfield":{"id":"https://openalex.org/subfields/3312","display_name":"Sociology and Political Science"},"field":{"id":"https://openalex.org/fields/33","display_name":"Social Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},{"id":"https://openalex.org/T11424","display_name":"Security and Verification in Computing","score":0.9973000288009644,"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/T10237","display_name":"Cryptography and Data Security","score":0.9948999881744385,"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/workflow","display_name":"Workflow","score":0.8066256046295166},{"id":"https://openalex.org/keywords/parameterized-complexity","display_name":"Parameterized complexity","score":0.7727769613265991},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7033379673957825},{"id":"https://openalex.org/keywords/satisfiability","display_name":"Satisfiability","score":0.5701200366020203},{"id":"https://openalex.org/keywords/boolean-satisfiability-problem","display_name":"Boolean satisfiability problem","score":0.5604251027107239},{"id":"https://openalex.org/keywords/decision-problem","display_name":"Decision problem","score":0.4284713864326477},{"id":"https://openalex.org/keywords/mathematical-optimization","display_name":"Mathematical optimization","score":0.41442596912384033},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.3719906508922577},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.26165637373924255},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.20717087388038635},{"id":"https://openalex.org/keywords/database","display_name":"Database","score":0.08984389901161194}],"concepts":[{"id":"https://openalex.org/C177212765","wikidata":"https://www.wikidata.org/wiki/Q627335","display_name":"Workflow","level":2,"score":0.8066256046295166},{"id":"https://openalex.org/C165464430","wikidata":"https://www.wikidata.org/wiki/Q1570441","display_name":"Parameterized complexity","level":2,"score":0.7727769613265991},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7033379673957825},{"id":"https://openalex.org/C168773769","wikidata":"https://www.wikidata.org/wiki/Q1350299","display_name":"Satisfiability","level":2,"score":0.5701200366020203},{"id":"https://openalex.org/C6943359","wikidata":"https://www.wikidata.org/wiki/Q875276","display_name":"Boolean satisfiability problem","level":2,"score":0.5604251027107239},{"id":"https://openalex.org/C115988155","wikidata":"https://www.wikidata.org/wiki/Q3262192","display_name":"Decision problem","level":2,"score":0.4284713864326477},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.41442596912384033},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3719906508922577},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.26165637373924255},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.20717087388038635},{"id":"https://openalex.org/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","level":1,"score":0.08984389901161194}],"mesh":[],"locations_count":6,"locations":[{"id":"doi:10.3233/jcs-16849","is_oa":false,"landing_page_url":"https://doi.org/10.3233/jcs-16849","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"},{"id":"pmh:oai:repository.essex.ac.uk:19901","is_oa":false,"landing_page_url":"https://doi.org/10.3233/JCS-16849","pdf_url":null,"source":{"id":"https://openalex.org/S4306401236","display_name":"Open Access at Essex (University of Essex)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I110002522","host_organization_name":"University of Essex","host_organization_lineage":["https://openalex.org/I110002522"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"acceptedVersion","is_accepted":true,"is_published":false,"raw_source_name":null,"raw_type":"PeerReviewed"},{"id":"pmh:oai:arXiv.org:1512.07019","is_oa":true,"landing_page_url":"http://arxiv.org/abs/1512.07019","pdf_url":"https://arxiv.org/pdf/1512.07019","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"text"},{"id":"mag:2205525215","is_oa":true,"landing_page_url":"https://arxiv.org/pdf/1512.07019.pdf","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"arXiv (Cornell University)","raw_type":null},{"id":"pmh:oai:HAL:hal-01995985v1","is_oa":false,"landing_page_url":"https://hal.science/hal-01995985","pdf_url":null,"source":{"id":"https://openalex.org/S4306402512","display_name":"HAL (Le Centre pour la Communication Scientifique Directe)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1294671590","host_organization_name":"Centre National de la Recherche Scientifique","host_organization_lineage":["https://openalex.org/I1294671590"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Journal of Computer Security, 2017, 25 (1), pp.83-115","raw_type":"Journal articles"},{"id":"doi:10.48550/arxiv.1512.07019","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.1512.07019","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"article"}],"best_oa_location":{"id":"pmh:oai:arXiv.org:1512.07019","is_oa":true,"landing_page_url":"http://arxiv.org/abs/1512.07019","pdf_url":"https://arxiv.org/pdf/1512.07019","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"text"},"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/16","display_name":"Peace, Justice and strong institutions","score":0.4099999964237213}],"awards":[{"id":"https://openalex.org/G1138573040","display_name":null,"funder_award_id":"EP/K005162/1","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"}],"funders":[{"id":"https://openalex.org/F4320334627","display_name":"Engineering and Physical Sciences Research Council","ror":"https://ror.org/0439y7842"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":27,"referenced_works":["https://openalex.org/W27149491","https://openalex.org/W121530805","https://openalex.org/W1185717587","https://openalex.org/W1517036688","https://openalex.org/W1556898525","https://openalex.org/W1917327560","https://openalex.org/W1964889053","https://openalex.org/W1970736012","https://openalex.org/W1983333997","https://openalex.org/W1995725694","https://openalex.org/W1997888312","https://openalex.org/W2008499862","https://openalex.org/W2020255359","https://openalex.org/W2025969633","https://openalex.org/W2052773530","https://openalex.org/W2058347046","https://openalex.org/W2068031952","https://openalex.org/W2074747980","https://openalex.org/W2085120047","https://openalex.org/W2093397547","https://openalex.org/W2107311933","https://openalex.org/W2110723603","https://openalex.org/W2116087731","https://openalex.org/W2162171351","https://openalex.org/W2222512263","https://openalex.org/W2962968862","https://openalex.org/W3102379243"],"related_works":["https://openalex.org/W2964075550","https://openalex.org/W2963643124","https://openalex.org/W2952188590","https://openalex.org/W2951288661","https://openalex.org/W2535631240","https://openalex.org/W2962767718","https://openalex.org/W2146379175","https://openalex.org/W130970235","https://openalex.org/W3102379243","https://openalex.org/W95926974","https://openalex.org/W1185717587","https://openalex.org/W250865208","https://openalex.org/W2807461721","https://openalex.org/W2576280707","https://openalex.org/W1968448945","https://openalex.org/W2244452902","https://openalex.org/W2279561282","https://openalex.org/W1564098035","https://openalex.org/W1965457794","https://openalex.org/W2944799530"],"abstract_inverted_index":{"A":[0],"computerized":[1],"workflow":[2,39,74,277],"management":[3],"system":[4],"may":[5,35,137,323],"enforce":[6],"a":[7,27,32,38,51,77,82,91,126,167,220,225,233,299],"security":[8,33,117,135],"policy,":[9],"specified":[10],"in":[11,26,42,68,196,316],"terms":[12],"of":[13,31,56,133,153,161,193,211,232,245,265,276,302,306,319,328],"authorized":[14,59],"actions":[15],"and":[16,116,149,205,215,252,279,308],"constraints,":[17],"thereby":[18],"restricting":[19],"which":[20,106,212,228],"users":[21,60,307],"can":[22],"perform":[23],"particular":[24],"steps":[25,57],"workflow.":[28],"The":[29],"existence":[30],"policy":[34,136],"mean":[36],"that":[37,45,62,80,165,254,284,310],"is":[40,47,88,143,158,172,203],"unsatisfiable,":[41],"the":[43,69,73,86,100,134,147,156,159,197,209,243,255,259,273,304,317],"sense":[44],"it":[46],"impossible":[48],"to":[49,58,109,114,124,181,223,293,314,326],"find":[50],"valid":[52,83],"plan":[53,84,129],"(an":[54],"assignment":[55],"such":[61],"all":[63],"constraints":[64,192],"are":[65,122,199,288],"satisfied).":[66],"Work":[67],"literature":[70,198],"focuses":[71],"on":[72,249,267],"satisfiability":[75],"problem,":[76],"decision":[78,286],"problem":[79,235],"outputs":[81],"if":[85,176],"instance":[87],"satisfiable":[89],"(and":[90],"negative":[92],"result":[93,185],"otherwise).":[94],"In":[95,119,140],"this":[96,320],"paper,":[97],"we":[98,121,177,213,271],"introduce":[99],"Bi-Objective":[101],"Workflow":[102],"Satisfiability":[103],"Problem":[104],"(BO-WSP),":[105],"enables":[107],"us":[108],"solve":[110],"optimization":[111],"problems":[112,287],"related":[113,234,313],"workflows":[115],"policies.":[118],"particular,":[120],"able":[123],"compute":[125,224],"\u201cleast":[127],"bad\u201d":[128],"when":[130,291],"some":[131],"components":[132],"be":[138,324],"violated.":[139],"general,":[141],"BO-WSP":[142,171],"intractable":[144],"from":[145],"both":[146,246],"classical":[148],"parameterized":[150],"complexity":[151],"point":[152],"view":[154],"(where":[155],"parameter":[157],"number":[160],"steps).":[162],"We":[163,217,241,296],"prove":[164,280],"computing":[166],"Pareto":[168,226],"front":[169,227],"for":[170],"fixed-parameter":[173,289],"tractable":[174,290],"(FPT)":[175],"restrict":[178],"our":[179,247],"attention":[180],"user-independent":[182,294],"constraints.":[183,295],"This":[184],"has":[186],"important":[187,274],"practical":[188,194],"consequences,":[189],"since":[190],"most":[191,268],"interest":[195],"user-independent.":[200],"Our":[201],"proof":[202],"constructive":[204],"defines":[206],"an":[207],"algorithm,":[208],"implementation":[210],"describe":[214],"evaluate.":[216],"also":[218],"present":[219],"second":[221],"algorithm":[222,257],"solves":[229],"multiples":[230],"instances":[231,327],"using":[236],"mixed":[237],"integer":[238],"programming":[239],"(MIP).":[240],"compare":[242],"performance":[244],"algorithms":[248],"synthetic":[250],"instances,":[251],"show":[253],"FPT":[256],"outperforms":[258],"MIP-based":[260],"one":[261],"by":[262],"several":[263],"orders":[264],"magnitude":[266],"instances.":[269],"Finally,":[270],"study":[272],"question":[275],"resiliency":[278,315],"new":[281,300,321],"results":[282],"establishing":[283],"known":[285],"restricted":[292],"then":[297],"propose":[298],"way":[301],"modeling":[303],"availability":[305],"demonstrate":[309],"many":[311],"questions":[312],"context":[318],"model":[322],"reduced":[325],"BO-WSP.":[329]},"counts_by_year":[{"year":2020,"cited_by_count":1},{"year":2019,"cited_by_count":1}],"updated_date":"2026-05-21T06:26:12.895304","created_date":"2025-10-10T00:00:00"}