{"id":"https://openalex.org/W2433626567","doi":"https://doi.org/10.1109/isias.2015.7492758","title":"An incremental refinement approach to a development of TMN protocol","display_name":"An incremental refinement approach to a development of TMN protocol","publication_year":2015,"publication_date":"2015-12-01","ids":{"openalex":"https://openalex.org/W2433626567","doi":"https://doi.org/10.1109/isias.2015.7492758","mag":"2433626567"},"language":"en","primary_location":{"id":"doi:10.1109/isias.2015.7492758","is_oa":false,"landing_page_url":"https://doi.org/10.1109/isias.2015.7492758","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2015 11th International Conference on Information Assurance and Security (IAS)","raw_type":"proceedings-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/A5018775942","display_name":"Sanae El Mimouni","orcid":"https://orcid.org/0000-0001-8744-1113"},"institutions":[{"id":"https://openalex.org/I126477371","display_name":"Mohammed V University","ror":"https://ror.org/00r8w8f84","country_code":"MA","type":"education","lineage":["https://openalex.org/I126477371"]}],"countries":["MA"],"is_corresponding":true,"raw_author_name":"Sanae El Mimouni","raw_affiliation_strings":["Faculty of Sciences, Mohammed V University, Rabat, Morocco"],"affiliations":[{"raw_affiliation_string":"Faculty of Sciences, Mohammed V University, Rabat, Morocco","institution_ids":["https://openalex.org/I126477371"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5057629019","display_name":"Mohamed Bouhdadi","orcid":null},"institutions":[{"id":"https://openalex.org/I126477371","display_name":"Mohammed V University","ror":"https://ror.org/00r8w8f84","country_code":"MA","type":"education","lineage":["https://openalex.org/I126477371"]}],"countries":["MA"],"is_corresponding":false,"raw_author_name":"Mohamed Bouhdadi","raw_affiliation_strings":["Faculty of Sciences, Mohammed V University, Rabat, Morocco"],"affiliations":[{"raw_affiliation_string":"Faculty of Sciences, Mohammed V University, Rabat, Morocco","institution_ids":["https://openalex.org/I126477371"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5018775942"],"corresponding_institution_ids":["https://openalex.org/I126477371"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.19984842,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"12","issue":null,"first_page":"135","last_page":"139"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9997000098228455,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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/T10142","display_name":"Formal Methods in Verification","score":0.9997000098228455,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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.9991999864578247,"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/T11504","display_name":"Advanced Authentication Protocols Security","score":0.9988999962806702,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8015693426132202},{"id":"https://openalex.org/keywords/protocol","display_name":"Protocol (science)","score":0.7595411539077759},{"id":"https://openalex.org/keywords/universal-composability","display_name":"Universal composability","score":0.5352246165275574},{"id":"https://openalex.org/keywords/mathematical-proof","display_name":"Mathematical proof","score":0.49127572774887085},{"id":"https://openalex.org/keywords/telecommunications-management-network","display_name":"Telecommunications Management Network","score":0.4886987507343292},{"id":"https://openalex.org/keywords/event","display_name":"Event (particle physics)","score":0.48754045367240906},{"id":"https://openalex.org/keywords/internet-protocol-control-protocol","display_name":"Internet Protocol Control Protocol","score":0.43280771374702454},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.4143988788127899},{"id":"https://openalex.org/keywords/cryptographic-protocol","display_name":"Cryptographic protocol","score":0.382466197013855},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.3393945097923279},{"id":"https://openalex.org/keywords/computer-network","display_name":"Computer network","score":0.3321625292301178},{"id":"https://openalex.org/keywords/internet-protocol-suite","display_name":"Internet protocol suite","score":0.32329538464546204},{"id":"https://openalex.org/keywords/cryptography","display_name":"Cryptography","score":0.30464881658554077},{"id":"https://openalex.org/keywords/user-datagram-protocol","display_name":"User Datagram Protocol","score":0.3027917742729187},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.26790112257003784},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.1511087715625763},{"id":"https://openalex.org/keywords/network-management-application","display_name":"Network management application","score":0.13404738903045654},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.10214966535568237},{"id":"https://openalex.org/keywords/network-management-station","display_name":"Network management station","score":0.08508959412574768}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8015693426132202},{"id":"https://openalex.org/C2780385302","wikidata":"https://www.wikidata.org/wiki/Q367158","display_name":"Protocol (science)","level":3,"score":0.7595411539077759},{"id":"https://openalex.org/C165751822","wikidata":"https://www.wikidata.org/wiki/Q7894118","display_name":"Universal composability","level":4,"score":0.5352246165275574},{"id":"https://openalex.org/C108710211","wikidata":"https://www.wikidata.org/wiki/Q11538","display_name":"Mathematical proof","level":2,"score":0.49127572774887085},{"id":"https://openalex.org/C100853524","wikidata":"https://www.wikidata.org/wiki/Q1422324","display_name":"Telecommunications Management Network","level":5,"score":0.4886987507343292},{"id":"https://openalex.org/C2779662365","wikidata":"https://www.wikidata.org/wiki/Q5416694","display_name":"Event (particle physics)","level":2,"score":0.48754045367240906},{"id":"https://openalex.org/C162571340","wikidata":"https://www.wikidata.org/wiki/Q1667988","display_name":"Internet Protocol Control Protocol","level":5,"score":0.43280771374702454},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.4143988788127899},{"id":"https://openalex.org/C33884865","wikidata":"https://www.wikidata.org/wiki/Q1254335","display_name":"Cryptographic protocol","level":3,"score":0.382466197013855},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3393945097923279},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.3321625292301178},{"id":"https://openalex.org/C65567647","wikidata":"https://www.wikidata.org/wiki/Q81414","display_name":"Internet protocol suite","level":3,"score":0.32329538464546204},{"id":"https://openalex.org/C178489894","wikidata":"https://www.wikidata.org/wiki/Q8789","display_name":"Cryptography","level":2,"score":0.30464881658554077},{"id":"https://openalex.org/C20636137","wikidata":"https://www.wikidata.org/wiki/Q11163","display_name":"User Datagram Protocol","level":4,"score":0.3027917742729187},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.26790112257003784},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.1511087715625763},{"id":"https://openalex.org/C89094514","wikidata":"https://www.wikidata.org/wiki/Q7001060","display_name":"Network management application","level":4,"score":0.13404738903045654},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.10214966535568237},{"id":"https://openalex.org/C16986412","wikidata":"https://www.wikidata.org/wiki/Q918419","display_name":"Network management station","level":3,"score":0.08508959412574768},{"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/C142724271","wikidata":"https://www.wikidata.org/wiki/Q7208","display_name":"Pathology","level":1,"score":0.0},{"id":"https://openalex.org/C110875604","wikidata":"https://www.wikidata.org/wiki/Q75","display_name":"The Internet","level":2,"score":0.0},{"id":"https://openalex.org/C193415008","wikidata":"https://www.wikidata.org/wiki/Q639681","display_name":"Network architecture","level":2,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"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}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/isias.2015.7492758","is_oa":false,"landing_page_url":"https://doi.org/10.1109/isias.2015.7492758","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2015 11th International Conference on Information Assurance and Security (IAS)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.41999998688697815,"display_name":"Partnerships for the goals","id":"https://metadata.un.org/sdg/17"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":19,"referenced_works":["https://openalex.org/W1479335887","https://openalex.org/W1489503486","https://openalex.org/W1504504841","https://openalex.org/W1531461242","https://openalex.org/W1556900989","https://openalex.org/W1559870885","https://openalex.org/W1585665690","https://openalex.org/W1588668163","https://openalex.org/W2005952505","https://openalex.org/W2015688007","https://openalex.org/W2043279475","https://openalex.org/W2105718332","https://openalex.org/W2147671052","https://openalex.org/W2157118812","https://openalex.org/W4244819751","https://openalex.org/W4254354208","https://openalex.org/W6628597384","https://openalex.org/W6629982606","https://openalex.org/W6681861769"],"related_works":["https://openalex.org/W4382656179","https://openalex.org/W3047587056","https://openalex.org/W2482253865","https://openalex.org/W3008319526","https://openalex.org/W2383007204","https://openalex.org/W2356740909","https://openalex.org/W97517385","https://openalex.org/W2363540078","https://openalex.org/W2057600829","https://openalex.org/W2972131078"],"abstract_inverted_index":{"The":[0,47],"Tatebayashi,":[1],"Matsuzaki":[2],"and":[3,114],"Newman":[4],"(TMN)":[5],"protocol":[6,12,27,37,71,93,105],"is":[7],"a":[8,43,86],"key":[9],"exchange":[10],"cryptographic":[11],"for":[13],"mobile":[14],"communication":[15],"systems.":[16],"This":[17],"paper":[18,35],"presents":[19],"an":[20],"incremental":[21],"formal":[22],"modeling":[23,53],"of":[24,45,54,59,69,90,102],"the":[25,36,52,55,60,64,70,77,82,91,98,103,117],"TMN":[26,104],"using":[28,41],"Event-B":[29,100],"method.":[30],"We":[31],"model":[32,83],"in":[33,107],"this":[34,80,108],"step":[38,40,49],"by":[39,63,94,116],"refinement,":[42],"technique":[44],"Event-B.":[46],"first":[48],"will":[50,73,84],"be":[51,74,85],"most":[56],"abstract":[57],"specification":[58,72],"protocol.":[61],"Then":[62],"second":[65],"refinement":[66],"more":[67,87],"details":[68],"added":[75],"to":[76],"model.":[78],"By":[79],"approach,":[81],"explicit":[88],"representation":[89],"target":[92],"each":[95],"refinement.":[96],"In":[97],"developed":[99],"models":[101],"described":[106],"paper,":[109],"all":[110],"proofs":[111],"are":[112],"generated":[113],"discharged":[115],"Rodin":[118],"tool.":[119]},"counts_by_year":[],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}