{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T17:21:31Z","timestamp":1743009691393,"version":"3.40.3"},"publisher-location":"Cham","reference-count":7,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319461397"},{"type":"electronic","value":"9783319461403"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"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":[[2016]]},"DOI":"10.1007\/978-3-319-46140-3_17","type":"book-chapter","created":{"date-parts":[[2016,9,14]],"date-time":"2016-09-14T00:39:51Z","timestamp":1473813591000},"page":"209-213","source":"Crossref","is-referenced-by-count":2,"title":["An Incremental Proof-Based Process of the NetBill Electronic Commerce Protocol"],"prefix":"10.1007","author":[{"given":"Sanae","family":"El Mimouni","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mohamed","family":"Bouhdadi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2016,9,15]]},"reference":[{"key":"17_CR1","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9781139195881","volume-title":"Modeling in Event-B: System and Software Engineering","author":"JR Abrial","year":"2010","unstructured":"Abrial, J.R.: Modeling in Event-B: System and Software Engineering. Cambridge University Press, Cambridge (2010)"},{"issue":"6","key":"17_CR2","doi-asserted-by":"crossref","first-page":"447","DOI":"10.1007\/s10009-010-0145-y","volume":"12","author":"JR Abrial","year":"2010","unstructured":"Abrial, J.R., Butler, M.J., Hallerstede, S., Hoang, T.S., Mehta, F., Voisin, L.: Rodin: an open toolset for modelling and reasoning in Event-B. STTT 12(6), 447\u2013466 (2010)","journal-title":"STTT"},{"issue":"1\u20132","key":"17_CR3","first-page":"1","volume":"77","author":"JR Abrial","year":"2007","unstructured":"Abrial, J.R., Hallerstede, S.: Refinement, decomposition, and instantiation of discrete models: application to Event-B. Fundam. Inform. 77(1\u20132), 1\u201328 (2007)","journal-title":"Fundam. Inform."},{"key":"17_CR4","unstructured":"Breitling, M., Philipps, J.: Transitions into black box views -the NetBill protocol revisited-. Technical report, Institut fur Informatik Technische Universitat Munchen (2000)"},{"key":"17_CR5","unstructured":"Cox, B.: NetBill security and transaction protocol. In: USENIX Workshop on Electronic Commerce. USENIX Association (1995)"},{"key":"17_CR6","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511663079","volume-title":"Data Refinement: Model-oriented Proof Theories and their Comparison, Cambridge Tracts in Theoretical Computer Science","author":"WP Roever De","year":"1998","unstructured":"De Roever, W.P., Engelhardt, K.: Data Refinement: Model-oriented Proof Theories and their Comparison, Cambridge Tracts in Theoretical Computer Science, vol. 46. Cambridge University Press, Cambridge (1998)"},{"issue":"4","key":"17_CR7","doi-asserted-by":"crossref","first-page":"34","DOI":"10.1109\/98.403456","volume":"2","author":"MA Sirbu","year":"1995","unstructured":"Sirbu, M.A., Tygar, J.D.: NetBill: an internet commerce system optimized for network-delivered services. IEEE Pers. Commun. 2(4), 34\u201339 (1995)","journal-title":"IEEE Pers. Commun."}],"container-title":["Lecture Notes in Computer Science","Networked Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-46140-3_17","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,24]],"date-time":"2017-06-24T18:44:15Z","timestamp":1498329855000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-46140-3_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319461397","9783319461403"],"references-count":7,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-46140-3_17","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]}}}