{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,30]],"date-time":"2024-10-30T07:10:19Z","timestamp":1730272219486,"version":"3.28.0"},"reference-count":19,"publisher":"IEEE Comput. Soc","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/iscc.2002.1021701","type":"proceedings-article","created":{"date-parts":[[2003,6,25]],"date-time":"2003-06-25T22:04:13Z","timestamp":1056578653000},"page":"355-360","source":"Crossref","is-referenced-by-count":4,"title":["Automatic implementation system of security protocols based on formal description techniques"],"prefix":"10.1109","author":[{"given":"L.","family":"Mengual","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"N.","family":"Barcia","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"E.","family":"Jimenez","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"E.","family":"Menasalvas","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"J.","family":"Setien","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"J.","family":"Yaguez","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"publisher","DOI":"10.1016\/S0141-9331(01)00102-8"},{"year":"0","key":"17"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1016\/S1389-1286(01)00155-4"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1016\/S0140-3664(00)00246-2"},{"year":"0","key":"16"},{"journal-title":"Cryptography and Network Security","year":"1999","author":"stallings","key":"13"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1016\/S0140-3664(00)00247-4"},{"key":"11","first-page":"34","article-title":"Formal description techniques and security standard conformance testing","year":"1991","journal-title":"National Physical Lab Teddington England Div of Information Technology and Computing"},{"key":"12","article-title":"Un modelo formal para la especificacio?n, ana?lisis, verificacio?n e implementacio?n de protocolos de seguridad","author":"mengual","year":"1998","journal-title":"Tesis Doctoral F I Universidad Polite?cnica de Madrid"},{"key":"3","article-title":"Security policy conceptual modeling and formalization for networked information systems","volume":"23","author":"trcek","year":"2000","journal-title":"Computers Comunications"},{"journal-title":"Harmonized Criteria","year":"1991","key":"2"},{"journal-title":"Trusted Computer System Evaluation Criteria","year":"1985","key":"1"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1016\/S0140-3664(99)00239-X"},{"key":"7","article-title":"A model to specify security protocols on the isdn","volume":"7","author":"mengual","year":"1999","journal-title":"Journal of Applied Computer Science"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1016\/S0920-5489(00)00047-7"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1016\/S0167-4048(97)00001-1"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1016\/S0167-4048(99)80115-1"},{"key":"9","first-page":"59","article-title":"Formal description techniques in data security: An evaluation and comparison","author":"lampard","year":"1991","journal-title":"National Physical Lab Teddington England Div of Information Technology and Computing"},{"key":"8","first-page":"173","article-title":"An innovative distributed identity delegation","author":"yagu?ez","year":"0","journal-title":"Journal of Applied Computer Science"}],"event":{"name":"ISCC 2002 Seventh International Symposium on Computers and Communications","acronym":"ISCC-02","location":"Taormina-Giardini Naxos, Italy"},"container-title":["Proceedings ISCC 2002 Seventh International Symposium on Computers and Communications"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/7956\/21983\/01021701.pdf?arnumber=1021701","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,10]],"date-time":"2017-03-10T21:50:54Z","timestamp":1489182654000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1021701\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":19,"URL":"https:\/\/doi.org\/10.1109\/iscc.2002.1021701","relation":{},"subject":[]}}