{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,30]],"date-time":"2024-10-30T07:18:14Z","timestamp":1730272694496,"version":"3.28.0"},"reference-count":12,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013,7]]},"DOI":"10.1109\/iscc.2013.6755044","type":"proceedings-article","created":{"date-parts":[[2014,3,7]],"date-time":"2014-03-07T22:14:57Z","timestamp":1394230497000},"page":"000783-000788","source":"Crossref","is-referenced-by-count":2,"title":["Improvement of a service level negotiation protocol using formal verification"],"prefix":"10.1109","author":[{"given":"Mohamed Aymen","family":"Chalouf","sequence":"first","affiliation":[]},{"given":"Francine","family":"Krief","sequence":"additional","affiliation":[]},{"given":"Nader","family":"Mbarek","sequence":"additional","affiliation":[]},{"given":"Tayeb","family":"Lemlouma","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"year":"2012","key":"3"},{"key":"2","article-title":"A secured, automated and dynamic service level negotiation\", to appear in the concurrency and computation","author":"chalouf","year":"2012","journal-title":"Practice and Experience Journal-Special Issue Selection of Best Papers of the Conference Notere 2010"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1109\/GIIS.2007.4404173"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1109\/ISCC.2009.5202267"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1109\/GIIS.2007.4404175"},{"journal-title":"Formal Verification of A Simple Automated Negotiation Protocol","year":"2006","author":"dimitoglou","key":"6"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-44682-6_3"},{"journal-title":"Software Tools for Designing Reliable Protocols and Systems","article-title":"Construction and analysis of distributed processes","year":"2012","key":"4"},{"key":"9","first-page":"2","article-title":"Connecting Ambient Networks-Architecture and Protocol Design (Release 1)","volume":"3","year":"2005","journal-title":"Del D"},{"key":"8","article-title":"NSLP for quality of service signaling","author":"den bosh","year":"2005","journal-title":"IETF Internet Draft"},{"key":"11","article-title":"Considering security and quality of service in sls to improve policybased mabagement of multimedia services","author":"duflos","year":"2007","journal-title":"ICNC '07"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1109\/NTMS.2008.ECP.53"}],"event":{"name":"2013 IEEE Symposium on Computers and Communications (ISCC)","start":{"date-parts":[[2013,7,7]]},"location":"Split, Croatia","end":{"date-parts":[[2013,7,10]]}},"container-title":["2013 IEEE Symposium on Computers and Communications (ISCC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6746555\/6754912\/06755044.pdf?arnumber=6755044","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,23]],"date-time":"2017-03-23T22:03:26Z","timestamp":1490306606000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6755044\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,7]]},"references-count":12,"URL":"https:\/\/doi.org\/10.1109\/iscc.2013.6755044","relation":{},"subject":[],"published":{"date-parts":[[2013,7]]}}}