{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,30]],"date-time":"2024-10-30T07:45:40Z","timestamp":1730274340085,"version":"3.28.0"},"reference-count":17,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015,12]]},"DOI":"10.1109\/isias.2015.7492758","type":"proceedings-article","created":{"date-parts":[[2016,6,17]],"date-time":"2016-06-17T00:14:55Z","timestamp":1466122495000},"page":"135-139","source":"Crossref","is-referenced-by-count":0,"title":["An incremental refinement approach to a development of TMN protocol"],"prefix":"10.1109","author":[{"given":"Sanae El","family":"Mimouni","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mohamed","family":"Bouhdadi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1145\/800221.806716"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-52559-9_61"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1145\/48022.48023"},{"article-title":"Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers","year":"1999","author":"lamport","key":"ref13"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1145\/177492.177726"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4613-9668-0_6"},{"key":"ref16","article-title":"Redevelopment of an Industrial Case Study Using Event-B and Rodin","author":"rezazadeh","year":"2007","journal-title":"BCS- ACS Christmas 2007 Meeting Formal Method in Industry"},{"journal-title":"Summary of Event-B proof obligations","year":"2008","author":"abrial","key":"ref17"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9781139195881"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1007\/0-387-34805-0_30"},{"key":"ref6","article-title":"Incremental Design of Distributed Systems with Event-B","author":"butler","year":"2008","journal-title":"Marktoberdorf Summer School 2008 Lecture Notes"},{"key":"ref5","first-page":"200","article-title":"Modeling and Verification of Cryptographic Protocols Using Coloured Petri Nets and Design\/CPN","volume":"12","author":"issam","year":"2005","journal-title":"Nord J Comput"},{"key":"ref8","article-title":"Redevelopment of an Industrial Case Study Using Event-Band Rodin","author":"rezazadeh","year":"2007","journal-title":"BCS-FACS Christmas 2007 Meeting-Formal Method"},{"key":"ref7","article-title":"Data Refinement Model-oriented Proof Theories and their Comparison","volume":"46","author":"de roever","year":"1998","journal-title":"Cambridge Tracts in Theoretical Computer Science"},{"journal-title":"The Modelling and Analysis of Security Protocols The CSP Approach","year":"2001","author":"ryan","key":"ref2"},{"journal-title":"Applied Cryptography Protocols Algorithms and Source Code","year":"1996","author":"schneier","key":"ref1"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511624162"}],"event":{"name":"2015 11th International Conference on Information Assurance and Security (IAS)","start":{"date-parts":[[2015,12,14]]},"location":"Marrakech, Morocco","end":{"date-parts":[[2015,12,16]]}},"container-title":["2015 11th International Conference on Information Assurance and Security (IAS)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7484378\/7492733\/07492758.pdf?arnumber=7492758","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,17]],"date-time":"2017-03-17T21:17:18Z","timestamp":1489785438000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7492758\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,12]]},"references-count":17,"URL":"https:\/\/doi.org\/10.1109\/isias.2015.7492758","relation":{},"subject":[],"published":{"date-parts":[[2015,12]]}}}