{"id":"https://openalex.org/W4412379427","doi":"https://doi.org/10.61467/2007.1558.2025.v16i3.869","title":"New ESVIT Software for IT Security Policy Verification in Production Systems","display_name":"New ESVIT Software for IT Security Policy Verification in Production Systems","publication_year":2025,"publication_date":"2025-07-14","ids":{"openalex":"https://openalex.org/W4412379427","doi":"https://doi.org/10.61467/2007.1558.2025.v16i3.869"},"language":"en","primary_location":{"id":"doi:10.61467/2007.1558.2025.v16i3.869","doi":"https://doi.org/10.61467/2007.1558.2025.v16i3.869","is_oa":true,"landing_page_url":"https://doi.org/10.61467/2007.1558.2025.v16i3.869","pdf_url":"https://ijcopi.org/ojs/article/download/869/428","source":{"id":"https://openalex.org/S4404675559","display_name":"International Journal of Combinatorial Optimization Problems and Informatics.","issn_l":"2007-1558","issn":["2007-1558"],"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":["dongbi-c","latindex","poland-20","russia-white-list-4"],"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"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":"International Journal of Combinatorial Optimization Problems and Informatics","raw_type":"journal-article"},"volume":null,"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"diamond","oa_url":"https://ijcopi.org/ojs/article/download/869/428","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5011478792","display_name":"Sergio Mauricio Mart\u00ednez Monterrubio","orcid":"https://orcid.org/0000-0002-1520-1249","observed_orcids":["https://orcid.org/0000-0002-1520-1249"]},"institutions":[{"id":"https://openalex.org/I4210116615","display_name":"Universidad Internacional de La Rioja","ror":"https://ror.org/029gnnp81","country_code":"ES","type":"education","lineage":["https://openalex.org/I4210116615"]}],"countries":["ES"],"is_corresponding":false,"raw_author_name":"Sergio Mauricio Mart\u00ednez Monterrubio","raw_affiliation_strings":["School of Engineering, Universidad Internacional de La Rioja"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"School of Engineering, Universidad Internacional de La Rioja","institution_ids":["https://openalex.org/I4210116615"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5021222428","display_name":"Juan Frausto\u2013Sol\u00eds","orcid":"https://orcid.org/0000-0001-9307-0734","observed_orcids":["https://orcid.org/0000-0001-9307-0734"]},"institutions":[{"id":"https://openalex.org/I177400693","display_name":"Instituto Tecnol\u00f3gico de Ciudad Madero","ror":"https://ror.org/04cymm537","country_code":"MX","type":"education","lineage":["https://openalex.org/I1302736544","https://openalex.org/I177400693","https://openalex.org/I4210090124","https://openalex.org/I4405258672"]},{"id":"https://openalex.org/I4210090124","display_name":"Tecnol\u00f3gico Nacional de M\u00e9xico","ror":"https://ror.org/00davry38","country_code":"MX","type":"government","lineage":["https://openalex.org/I1302736544","https://openalex.org/I4210090124","https://openalex.org/I4405258672"]}],"countries":["MX"],"is_corresponding":false,"raw_author_name":"Juan Frausto Solis","raw_affiliation_strings":["Tecnologico Nacional de M\u00e9xico/IT Cd Madero"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Tecnologico Nacional de M\u00e9xico/IT Cd Madero","institution_ids":["https://openalex.org/I177400693","https://openalex.org/I4210090124"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5101026905","display_name":"Juan Antonio Recio Garc\u00eda","orcid":null,"observed_orcids":[]},"institutions":[{"id":"https://openalex.org/I121748325","display_name":"Universidad Complutense de Madrid","ror":"https://ror.org/02p0gd045","country_code":"ES","type":"education","lineage":["https://openalex.org/I121748325"]}],"countries":["ES"],"is_corresponding":false,"raw_author_name":"Juan Antonio Recio Garc\u00eda","raw_affiliation_strings":["Group of Artificial Intelligence Applications, Department of Software Engineering and Artificial Intelligence, Faculty of Computer Science, Universidad Complutense de Madrid"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Group of Artificial Intelligence Applications, Department of Software Engineering and Artificial Intelligence, Faculty of Computer Science, Universidad Complutense de Madrid","institution_ids":["https://openalex.org/I121748325"]}]},{"author_position":"last","author":{"id":null,"display_name":"Josmell Antonio Chavarri Velasquez","orcid":null,"observed_orcids":[]},"institutions":[{"id":"https://openalex.org/I4210116615","display_name":"Universidad Internacional de La Rioja","ror":"https://ror.org/029gnnp81","country_code":"ES","type":"education","lineage":["https://openalex.org/I4210116615"]}],"countries":["ES"],"is_corresponding":false,"raw_author_name":"Josmell Antonio Chavarri Velasquez","raw_affiliation_strings":["School of Engineering, Universidad Internacional de La Rioja"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"School of Engineering, Universidad Internacional de La Rioja","institution_ids":["https://openalex.org/I4210116615"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":4,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":{"value":0.14880428,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"16","issue":"3","first_page":"540","last_page":"562"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10734","display_name":"Information and Cyber Security","score":0.9872999787330627,"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"}},"topics":[{"id":"https://openalex.org/T10734","display_name":"Information and Cyber Security","score":0.9872999787330627,"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/T10927","display_name":"Access Control and Trust","score":0.0035000001080334187,"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/T11572","display_name":"Information Technology Governance and Strategy","score":0.002899999963119626,"subfield":{"id":"https://openalex.org/subfields/1404","display_name":"Management Information Systems"},"field":{"id":"https://openalex.org/fields/14","display_name":"Business, Management and Accounting"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/information-security-management-system","display_name":"information security management system","score":0.7480000257492065},{"id":"https://openalex.org/keywords/expert-systems","display_name":"expert systems","score":0.703000009059906},{"id":"https://openalex.org/keywords/iso-iec-27001","display_name":"ISO/IEC 27001","score":0.9229999780654907},{"id":"https://openalex.org/keywords/itil","display_name":"ITIL","score":0.8629999756813049},{"id":"https://openalex.org/keywords/policy-compliance","display_name":"policy compliance","score":0.593999981880188},{"id":"https://openalex.org/keywords/public-sector-it-security","display_name":"public sector IT security","score":0.6309999823570251}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.603219211101532},{"id":"https://openalex.org/C2778348673","wikidata":"https://www.wikidata.org/wiki/Q739302","display_name":"Production (economics)","level":2,"score":0.5737451314926147},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.4468134045600891},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.43685969710350037},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.3539496660232544},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.1954052448272705},{"id":"https://openalex.org/C162324750","wikidata":"https://www.wikidata.org/wiki/Q8134","display_name":"Economics","level":0,"score":0.07561823725700378},{"id":"https://openalex.org/C139719470","wikidata":"https://www.wikidata.org/wiki/Q39680","display_name":"Macroeconomics","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.61467/2007.1558.2025.v16i3.869","doi":"https://doi.org/10.61467/2007.1558.2025.v16i3.869","is_oa":true,"landing_page_url":"https://doi.org/10.61467/2007.1558.2025.v16i3.869","pdf_url":"https://ijcopi.org/ojs/article/download/869/428","source":{"id":"https://openalex.org/S4404675559","display_name":"International Journal of Combinatorial Optimization Problems and Informatics.","issn_l":"2007-1558","issn":["2007-1558"],"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":["dongbi-c","latindex","poland-20","russia-white-list-4"],"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"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":"International Journal of Combinatorial Optimization Problems and Informatics","raw_type":"journal-article"}],"best_oa_location":{"id":"doi:10.61467/2007.1558.2025.v16i3.869","doi":"https://doi.org/10.61467/2007.1558.2025.v16i3.869","is_oa":true,"landing_page_url":"https://doi.org/10.61467/2007.1558.2025.v16i3.869","pdf_url":"https://ijcopi.org/ojs/article/download/869/428","source":{"id":"https://openalex.org/S4404675559","display_name":"International Journal of Combinatorial Optimization Problems and Informatics.","issn_l":"2007-1558","issn":["2007-1558"],"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":["dongbi-c","latindex","poland-20","russia-white-list-4"],"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"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":"International Journal of Combinatorial Optimization Problems and Informatics","raw_type":"journal-article"},"sustainable_development_goals":[{"score":0.5473999977111816,"display_name":"Peace, justice, and strong institutions","id":"https://metadata.un.org/sdg/16"},{"score":0.428600013256073,"display_name":"Industry, innovation and infrastructure","id":"https://metadata.un.org/sdg/9"}],"sustainable_development_goals_aurora":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4412379427.pdf","grobid_xml":"https://content.openalex.org/works/W4412379427.grobid-xml"},"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2899084033","https://openalex.org/W2748952813","https://openalex.org/W2390279801","https://openalex.org/W4391913857","https://openalex.org/W2358668433","https://openalex.org/W4396701345","https://openalex.org/W2376932109","https://openalex.org/W2001405890","https://openalex.org/W4396696052"],"abstract_inverted_index":{"Computer":[0],"security":[1,55,89],"policies":[2,28,45,56,68,73,85,160],"are":[3,102],"relatively":[4],"new":[5,38],"to":[6,23,155],"many":[7],"organisations,":[8],"particularly":[9],"regarding":[10],"their":[11,18,58],"Information":[12,131],"Security":[13],"Management":[14],"Systems":[15],"(ISMS).":[16],"Although":[17],"conceptual":[19],"origins":[20],"date":[21],"back":[22],"the":[24,41,48,64,71,83,88,92,96,115,128,143,152,157],"1980s,":[25],"verifying":[26],"these":[27],"computationally":[29],"remains":[30],"a":[31,37],"significant":[32],"challenge.":[33],"This":[34,51],"research":[35,141],"proposes":[36],"tool":[39],"for":[40],"verification":[42],"of":[43,66,91,98,130,139,145,159],"ISMS":[44,61],"based":[46,103],"on":[47,104],"VPD":[49,153],"methodology.":[50],"methodology":[52,154],"assesses":[53],"information":[54],"and":[57,118,132,164],"compliance":[59],"with":[60,70,124],"by":[62,127],"comparing":[63],"set":[65,126],"directive":[67],"(M1)":[69],"implemented":[72,86],"(M2).":[74],"The":[75,136],"case":[76],"study":[77],"presented":[78],"in":[79,87,95,161],"this":[80,140],"paper":[81],"involves":[82],"M2":[84],"system":[90,149],"Mayor\u2019s":[93],"Office":[94],"municipality":[97],"Funza,":[99],"Cundinamarca.":[100],"These":[101],"established":[105],"standards,":[106],"such":[107],"as":[108],"ISO":[109],"27001,":[110],"ITIL":[111],"best":[112],"practice":[113],"libraries,":[114],"OISM3":[116],"guidelines,":[117],"Colombian":[119],"government":[120],"regulations\u2014particularly":[121],"those":[122],"aligned":[123],"standards":[125],"Ministry":[129],"Communication":[133],"Technologies":[134],"(MINTIC).":[135],"main":[137],"contribution":[138],"is":[142],"development":[144],"ESVIT,":[146],"an":[147],"expert":[148],"built":[150],"upon":[151],"support":[156],"evaluation":[158],"both":[162],"public":[163],"private":[165],"sector":[166],"entities.":[167]},"counts_by_year":[],"updated_date":"2026-10-08T09:06:37.294493","created_date":"2025-10-10T00:00:00"}