{"id":"https://openalex.org/W2794102176","doi":"https://doi.org/10.1504/ijes.2016.10011276","title":"Petri net-based verification of security protocol implementation in software evolution","display_name":"Petri net-based verification of security protocol implementation in software evolution","publication_year":2016,"publication_date":"2016-01-01","ids":{"openalex":"https://openalex.org/W2794102176","doi":"https://doi.org/10.1504/ijes.2016.10011276","mag":"2794102176"},"language":"en","primary_location":{"id":"doi:10.1504/ijes.2016.10011276","is_oa":false,"landing_page_url":"https://doi.org/10.1504/ijes.2016.10011276","pdf_url":null,"source":{"id":"https://openalex.org/S204369148","display_name":"International Journal of Embedded Systems","issn_l":"1741-1068","issn":["1741-1068","1741-1076"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310317825","host_organization_name":"Inderscience Publishers","host_organization_lineage":["https://openalex.org/P4310317825"],"host_organization_lineage_names":["Inderscience Publishers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"International Journal of Embedded Systems","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/A5071261948","display_name":"Brij B. Gupta","orcid":"https://orcid.org/0000-0003-4929-4698"},"institutions":[{"id":"https://openalex.org/I105094715","display_name":"National Institute of Technology Kurukshetra","ror":"https://ror.org/04909p852","country_code":"IN","type":"education","lineage":["https://openalex.org/I105094715"]}],"countries":["IN"],"is_corresponding":false,"raw_author_name":"Brij Gupta","raw_affiliation_strings":["Department of Computer Engineering, National Institute of Technology Kurukshetra, Kurukshetra, 136119, Haryana, India"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Engineering, National Institute of Technology Kurukshetra, Kurukshetra, 136119, Haryana, India","institution_ids":["https://openalex.org/I105094715"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5041793220","display_name":"Shingo Yamaguchi","orcid":"https://orcid.org/0000-0003-0579-8501"},"institutions":[{"id":"https://openalex.org/I173915773","display_name":"Yamaguchi University","ror":"https://ror.org/03cxys317","country_code":"JP","type":"education","lineage":["https://openalex.org/I173915773"]}],"countries":["JP"],"is_corresponding":false,"raw_author_name":"Shingo Yamaguchi","raw_affiliation_strings":["Graduate School of Science and Engineering, Yamaguchi University, Ube, Yamaguchi Pref., 755-8611, Japan"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Graduate School of Science and Engineering, Yamaguchi University, Ube, Yamaguchi Pref., 755-8611, Japan","institution_ids":["https://openalex.org/I173915773"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5001561994","display_name":"Mohd Anuaruddin Bin Ahmadon","orcid":"https://orcid.org/0000-0003-0952-7151"},"institutions":[{"id":"https://openalex.org/I173915773","display_name":"Yamaguchi University","ror":"https://ror.org/03cxys317","country_code":"JP","type":"education","lineage":["https://openalex.org/I173915773"]}],"countries":["JP"],"is_corresponding":false,"raw_author_name":"Mohd Anuaruddin Bin Ahmadon","raw_affiliation_strings":["Graduate School of Science and Engineering, Yamaguchi University, Ube, Yamaguchi Pref., 755-8611, Japan"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Graduate School of Science and Engineering, Yamaguchi University, Ube, Yamaguchi Pref., 755-8611, Japan","institution_ids":["https://openalex.org/I173915773"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.8833,"has_fulltext":false,"cited_by_count":4,"citation_normalized_percentile":{"value":0.86056612,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":"1","issue":"1","first_page":"1","last_page":"1"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9955000281333923,"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/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9955000281333923,"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/T10679","display_name":"Service-Oriented Architecture and Web Services","score":0.9940000176429749,"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/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.9835000038146973,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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.7557039260864258},{"id":"https://openalex.org/keywords/petri-net","display_name":"Petri net","score":0.6308072805404663},{"id":"https://openalex.org/keywords/protocol","display_name":"Protocol (science)","score":0.5310514569282532},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.48753687739372253},{"id":"https://openalex.org/keywords/software-security-assurance","display_name":"Software security assurance","score":0.462157279253006},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.4299383759498596},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.31955796480178833},{"id":"https://openalex.org/keywords/computer-security","display_name":"Computer security","score":0.24777355790138245},{"id":"https://openalex.org/keywords/information-security","display_name":"Information security","score":0.2088809311389923},{"id":"https://openalex.org/keywords/security-service","display_name":"Security service","score":0.14653632044792175}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7557039260864258},{"id":"https://openalex.org/C38677869","wikidata":"https://www.wikidata.org/wiki/Q724168","display_name":"Petri net","level":2,"score":0.6308072805404663},{"id":"https://openalex.org/C2780385302","wikidata":"https://www.wikidata.org/wiki/Q367158","display_name":"Protocol (science)","level":3,"score":0.5310514569282532},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.48753687739372253},{"id":"https://openalex.org/C62913178","wikidata":"https://www.wikidata.org/wiki/Q7554361","display_name":"Software security assurance","level":4,"score":0.462157279253006},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.4299383759498596},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.31955796480178833},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.24777355790138245},{"id":"https://openalex.org/C527648132","wikidata":"https://www.wikidata.org/wiki/Q189900","display_name":"Information security","level":2,"score":0.2088809311389923},{"id":"https://openalex.org/C29983905","wikidata":"https://www.wikidata.org/wiki/Q7445066","display_name":"Security service","level":3,"score":0.14653632044792175},{"id":"https://openalex.org/C142724271","wikidata":"https://www.wikidata.org/wiki/Q7208","display_name":"Pathology","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/C71924100","wikidata":"https://www.wikidata.org/wiki/Q11190","display_name":"Medicine","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1504/ijes.2016.10011276","is_oa":false,"landing_page_url":"https://doi.org/10.1504/ijes.2016.10011276","pdf_url":null,"source":{"id":"https://openalex.org/S204369148","display_name":"International Journal of Embedded Systems","issn_l":"1741-1068","issn":["1741-1068","1741-1076"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310317825","host_organization_name":"Inderscience Publishers","host_organization_lineage":["https://openalex.org/P4310317825"],"host_organization_lineage_names":["Inderscience Publishers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"International Journal of Embedded Systems","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.6200000047683716}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W1559884866","https://openalex.org/W2135396778","https://openalex.org/W4243252198","https://openalex.org/W2109507516","https://openalex.org/W1555256964","https://openalex.org/W1527862632","https://openalex.org/W2118300983","https://openalex.org/W2613439507","https://openalex.org/W2112962394","https://openalex.org/W2083338789"],"abstract_inverted_index":{"Implementation":[0],"of":[1,51,62,83,104,161],"security":[2,32,35,53,63,74,86,97,128,141,170],"protocol":[3,54,64,87,129,142,171],"in":[4,65,181],"software":[5,26,100,182],"plays":[6],"an":[7,179],"important":[8,85],"role":[9],"to":[10,19,28,30,41,76,112,124,168],"protect":[11,20],"the":[12,21,42,52,59,81,127,159,176],"whole":[13],"system":[14,22],"from":[15,23],"vulnerabilities.":[16],"In":[17,91],"order":[18],"new":[24,31],"threats,":[25],"needs":[27],"adapt":[29],"requirements":[33],"thus":[34],"upgrades":[36],"and":[37],"patches":[38,75],"are":[39],"implemented":[40],"software.":[43],"Previous":[44],"works":[45],"only":[46],"focus":[47,57],"on":[48,58],"logical":[49],"correctness":[50],"but":[55],"we":[56,94],"successful":[60],"implementation":[61,88,130],"a":[66,114,135,140],"program.":[67],"A":[68],"program":[69,115,136],"evolves":[70],"as":[71],"programmers":[72],"apply":[73,164],"its":[77,146],"source":[78],"code.":[79],"Hence,":[80],"process":[82],"verifying":[84],"is":[89,131,154],"difficult.":[90],"this":[92],"paper,":[93],"propose":[95],"model-driven":[96,121],"verification":[98,122],"throughout":[99],"evolution.":[101,183],"It":[102],"consists":[103],"two":[105],"major":[106],"methods:":[107],"1)":[108],"reverse":[109],"engineering":[110],"method":[111,123],"translate":[113],"into":[116],"Petri":[117],"net":[118],"model;":[119],"2)":[120],"confirm":[125],"that":[126,138],"valid.":[132],"Concretely,":[133],"for":[134],"X":[137],"implements":[139],"specification":[143],"A,":[144],"does":[145],"derivation":[147],"Y":[148,157],"also":[149,174],"implement":[150],"A?":[151],"The":[152],"answer":[153],"yes":[155],"if":[156],"inherits":[158],"behaviour":[160],"X.":[162],"We":[163,173],"behavioural":[165],"inheritance":[166],"analysis":[167],"verify":[169],"implementation.":[172],"illustrate":[175],"methods":[177],"with":[178],"example":[180]},"counts_by_year":[{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":1},{"year":2018,"cited_by_count":1},{"year":2017,"cited_by_count":1}],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}