{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T04:15:03Z","timestamp":1729656903864,"version":"3.28.0"},"reference-count":24,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2007,7]]},"DOI":"10.1109\/perser.2007.4283953","type":"proceedings-article","created":{"date-parts":[[2007,8,8]],"date-time":"2007-08-08T15:11:18Z","timestamp":1186585878000},"page":"437-442","source":"Crossref","is-referenced-by-count":0,"title":["A Contract-based Approach for Secure Service Discovery Systems"],"prefix":"10.1109","author":[{"given":"A.","family":"Nait-Sidi-Moh","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"M.","family":"Bakhouya","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"M.","family":"Wack","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","first-page":"3","article-title":"Les Web Services Semantiques","author":"kellert","year":"2003","journal-title":"Research Report LIMOS\/RR"},{"key":"ref11","first-page":"88","article-title":"State of art: Service composition","author":"higels","year":"0","journal-title":"M-Zones Deliverable 1"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1007\/11424925_83"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/ICSMC.1998.725397"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/ICSMC.2002.1175594"},{"key":"ref15","article-title":"Synchronisation and linearity. Algebra for discrete Event Systems","author":"baccelli","year":"1992","journal-title":"John Wiley and Sons"},{"key":"ref16","article-title":"Du grafcet aux réseaux de Petri","author":"david","year":"1992","journal-title":"Book"},{"key":"ref17","first-page":"1572","article-title":"Meaningful Electronic Signatures and Associated Processes Formalization Proposals","author":"wack","year":"0","journal-title":"Journal of Artificial Intelligence and Law"},{"key":"ref18","article-title":"Precéde de Signatures Signifiantes à Base de Mots Clefs","author":"wack","year":"0","journal-title":"Office européen des brevets Patentlaan 22280 HV Rijswiijk (ZH)"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/4236.780963"},{"key":"ref4","article-title":"Trust for Resource Control: Self-enforcing Automatic Rational Contracts between Computers","author":"ninham shand","year":"0","journal-title":"UCAM-CL-TR-600 ISSN 1476-2986"},{"key":"ref3","article-title":"Contractual access control","author":"firozabadi","year":"2002","journal-title":"Procs of 10th International Workshop of Security Protocols"},{"key":"ref6","article-title":"Signature Electronique Multiple","author":"rieupet","year":"2004","journal-title":"Atelier Securite des Systemes d'Information XXIIéme Congrés INFORSID"},{"key":"ref5","first-page":"9","article-title":"The Cryptographic Hash Function RIPEMD-160","volume":"3","author":"preneel","year":"1997","journal-title":"CryptoBytes"},{"key":"ref8","first-page":"186","article-title":"Federal Information Processing Standards Publication, FIPS PUB","year":"2000","journal-title":"National Institute of Standards and Technology Digital Signature Standard (DSS)"},{"key":"ref7","article-title":"RFC 1421: Privacy Enhancement for Internet Electronic Mail: Part I: Message Encryption and Authentication Procedures","author":"linn","year":"1993","journal-title":"lAB IRTF PSRG IETF PEM WG"},{"key":"ref2","first-page":"129","article-title":"Adaptive Approaches for Ubiquitous computing","author":"bakhouya","year":"2006","journal-title":"Mobile networks and wireless sensor networks"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1002\/cpe.545"},{"key":"ref9","doi-asserted-by":"crossref","DOI":"10.1023\/B:ITEM.0000031581.31936.b9","article-title":"On Composite Web Services Provisioning in an Environment of Fixed and Mobile","author":"maamar","year":"2004","journal-title":"Information Technology and Management Journal Special Issue on Workflow and e-Business"},{"key":"ref20","first-page":"92","article-title":"Qos-aware Discovery of Wide-area Distributed Services","author":"xu","year":"2001","journal-title":"IEEE\/ACM Intl Symposium on Cluster Computing and the Grid (CCGrid)"},{"key":"ref22","article-title":"New paradigms for ubiquitous and pervasive computing","author":"gaber","year":"2000","journal-title":"White Paper"},{"key":"ref21","article-title":"Discovery and Its Discontents: Discovery Protocols for Ubiquitous Computing","author":"robert","year":"2000","journal-title":"UIUCDCS-R-99–2132"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.4018\/978-1-59904-002-8.ch159"},{"key":"ref23","article-title":"New paradigms for ubiquitous and pervasive applications","author":"gaber","year":"2006","journal-title":"Proc of First Workshop on Software Engineering Challenges for Ubiquitous Computing"}],"event":{"name":"IEEE International Conference on Pervasive Services","start":{"date-parts":[[2007,7,15]]},"location":"The Marmara Istanbul","end":{"date-parts":[[2007,7,20]]}},"container-title":["IEEE International Conference on Pervasive Services"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/4283874\/4283875\/04283953.pdf?arnumber=4283953","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,17]],"date-time":"2017-06-17T17:50:16Z","timestamp":1497721816000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/4283953\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,7]]},"references-count":24,"URL":"https:\/\/doi.org\/10.1109\/perser.2007.4283953","relation":{},"subject":[],"published":{"date-parts":[[2007,7]]}}}