{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,15]],"date-time":"2024-09-15T14:10:31Z","timestamp":1726409431433},"publisher-location":"Cham","reference-count":10,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319572871"},{"type":"electronic","value":"9783319572888"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017]]},"DOI":"10.1007\/978-3-319-57288-8_6","type":"book-chapter","created":{"date-parts":[[2017,4,8]],"date-time":"2017-04-08T02:45:05Z","timestamp":1491619505000},"page":"84-98","source":"Crossref","is-referenced-by-count":4,"title":["Analysing Security Protocols Using Refinement in iUML-B"],"prefix":"10.1007","author":[{"given":"Colin","family":"Snook","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Thai Son","family":"Hoang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michael","family":"Butler","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2017,4,9]]},"reference":[{"key":"6_CR1","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9781139195881","volume-title":"Modeling in Event-B: System and Software Engineering","author":"J-R Abrial","year":"2010","unstructured":"Abrial, J.-R.: Modeling in Event-B: System and Software Engineering. Cambridge University Press, Cambridge (2010)"},{"issue":"6","key":"6_CR2","doi-asserted-by":"crossref","first-page":"447","DOI":"10.1007\/s10009-010-0145-y","volume":"12","author":"J-R Abrial","year":"2010","unstructured":"Abrial, J.-R., Butler, M., Hallerstede, S., Hoang, T.S., Mehta, F., Voisin, L.: Rodin: an open toolset for modelling and reasoning in Event-B. Softw. Tools Technol. Transf. 12(6), 447\u2013466 (2010)","journal-title":"Softw. Tools Technol. Transf."},{"issue":"1","key":"6_CR3","doi-asserted-by":"crossref","first-page":"2","DOI":"10.1007\/s001650200025","volume":"14","author":"M Butler","year":"2002","unstructured":"Butler, M.: On the use of data refinement in the development of secure communications systems. Form. Asp. Comput. 14(1), 2\u201334 (2002)","journal-title":"Form. Asp. Comput."},{"key":"6_CR4","unstructured":"Enable-S3 consortium. Enable-S3 project website. http:\/\/www.enable-s3.eu . Accessed 04 Dec 2016"},{"key":"6_CR5","first-page":"211","volume-title":"Industrial Deployment of System Engineering Methods","author":"TS Hoang","year":"2013","unstructured":"Hoang, T.S.: An introduction to the Event-B modelling method. In: Romanovsky, A., Thomas, M. (eds.) Industrial Deployment of System Engineering Methods, pp. 211\u2013236. Springer, Heidelberg (2013)"},{"key":"6_CR6","unstructured":"IEEE. 802.1Q-2014 - Bridges and Bridged Networks. http:\/\/www.ieee802.org\/1\/pages\/802.1Q-2014.html . Accessed 02 Dec 2016"},{"issue":"2","key":"6_CR7","doi-asserted-by":"crossref","first-page":"185","DOI":"10.1007\/s10009-007-0063-9","volume":"10","author":"M Leuschel","year":"2008","unstructured":"Leuschel, M., Butler, M.: ProB: an automated analysis toolset for the B method. Softw. Tools Technol. Transf. (STTT) 10(2), 185\u2013203 (2008)","journal-title":"Softw. Tools Technol. Transf. (STTT)"},{"issue":"4","key":"6_CR8","doi-asserted-by":"crossref","first-page":"1557","DOI":"10.1007\/s10270-013-0391-z","volume":"14","author":"MY Said","year":"2015","unstructured":"Said, M.Y., Butler, M., Snook, C.: A method of refinement in UML-B. Softw. Syst. Model. 14(4), 1557\u20131580 (2015)","journal-title":"Softw. Syst. Model."},{"key":"6_CR9","unstructured":"Colin, S.: iUML-B statemachines. In: Proceedings of the Rodin Workshop 2014, pp. 29\u201330, Toulouse, France (2014). http:\/\/eprints.soton.ac.uk\/365301\/"},{"issue":"1","key":"6_CR10","doi-asserted-by":"crossref","first-page":"92","DOI":"10.1145\/1125808.1125811","volume":"15","author":"C Snook","year":"2006","unstructured":"Snook, C., Butler, M.: UML-B: Formal modeling and design aided by UML. ACM Trans. Softw. Eng. Methodol. 15(1), 92\u2013122 (2006)","journal-title":"ACM Trans. Softw. Eng. Methodol."}],"container-title":["Lecture Notes in Computer Science","NASA Formal Methods"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-57288-8_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,25]],"date-time":"2017-06-25T10:29:19Z","timestamp":1498386559000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-57288-8_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319572871","9783319572888"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-57288-8_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]}}}