Browse > Article

Active XML 기반 '전자의료기록 시스템'의 보안성 분석  

Kim, Il-Gon (INRIA-IRISA 연구소)
Biswas, Debmalya (INRIA-IRISA 연구소)
Publication Information
Review of KIISC / v.16, no.5, 2006 , pp. 72-83 More about this Journal
Keywords
Citations & Related Records
Times Cited By KSCI : 1  (Citation Analysis)
연도 인용수 순위
1 C.A.R. Hoare, Communicating Sequential Processes, Prentice-Hall, 1985
2 D. Eastlake, J. Reagle, T. Imamura, B. Dillaway, E. Simon, XML-Encryption syntax and Proceeding, W3C Recommendation, 2001
3 S. Abiteboul, O. Benjelloun, I. Manolescu, T. Milo, R. Weber, 'Active XML: Peer-to-peer data and web services integration(demo)', Proceedings of 28th VLDB, pp.1087-1090, 2002
4 S. Abiteboul, B. Alexe, O. Benjelloun, B. Cautis, I. Fundulaki, T. Milo, and A. Sahuguet, 'An Electronic Patient Record on Steroids : Distributed, Peerto-Peer, Secure and Privacy-conscious', Proceedings. of 30th VLDB, pp.1273-1276, 2004
5 L. Tobarra, D. Cazorla, F. Cuartero, Gregorio Diaz, 'Application of Formal Methods to the Analysis of Web Services Security', Proceedings of International Workshop on Web Services and Formal Methods. pp.215-229. 2005
6 I. Kim, D. Biswas, 'I. Kim and D. Biswas, Application of Model Checking to AXML System's Security : A Case Study,' Proceedings. of International Workshop on Web Services and Formal Methods (WS-FM'06), pp.242-256, 2006
7 E. Kleiner, A.W. Roscoe, 'Web Services Security: a Preliminary Study using Casper and FDR', Proceedings of ARSPA, 2004
8 김일곤, 최진영, 김현석, 전철욱, 강인혜, '보안 프로토콜 안전성 분석을 위한 정형적 방법론', 정보보호학회 논문지 : 제15권, 제1호, pp.17-27, 2005   과학기술학회마을
9 S. Abiteboul, I. Manolescu, F. Taropa, 'A Framework for Distributed XML Data Management', Proceedings of EDBT, pp.1049-1058, 2006
10 IBM, Microsoft, and VeriSign, Web Services Security (WS-Security), Version 1.0, 2002
11 S. Abiteboul, I. Manolescu, F. Taropa, 'A Framework for Distributed XML Data Management', Proceedings of EDBT, pp.1049-1058, 2006
12 S. Abiteboul, O. Benjelloun, T. Milo, 'Positive Active XML', Proceedings of ACM PODS, 2004
13 Formal Systems(Europe) Ltd, FDR2 User Manual, 1999
14 K. Bhargavan, C. Fournet, A. D. Gordon, R. Pucella, 'TulaFale: A security tool for web services', In International Symposium on Formal Methods for Components and Objects (FMCO'03), pp.197-222. 2004
15 Microsoft, Microsoft Web Services Enhancements (WSE) 2.0, http://msdn.mi crosft .com/webservi ces/webservi ces/building/wse/default.aspx
16 G. Lowe, 'Casper: A compiler for the analysis of security protocols', 10th IEEE Computer Security Foundations Workshop, 1997
17 S. Abiteboul, O. Benjelloun, B. Cautis, I. Manolescu, T. Milo, N. Preda, 'Lazy Query Evaluation for Active XML', Proceedings of ACM SIGMOD, pp. 227-238. 2004
18 Active XML (AXML) Home Page, http://activexml.net, 2003
19 XML Path language (XPath) Version 1.0. W3C Recommendation, http://www.w3c.org/TR/xpath, 1999
20 D. Eastlake, J. Reagle, D. Solo, M. Bartel, J. Byer, B. Fox, B. LaMacchia, E. Simon, XML-Signature Synatax and Proceedings, W3 Recommendation, 2002
21 E. Kleiner, A.W. Roscoe, 'On the Relationship between Web Services Security and Traditional Protocols', Proceedings of DIMACS Workshop on Security of Web Services and E-Commerce, 2005
22 G. Lowe, 'Breaking and Fixing the Needham-Schroeder Public-Key Protocol Using FDR', Proceedings of TACAS, number 1055 in LNCS. Springer, 1996
23 P. Ryan, S. Schneider, 'Modelling and Analysis of Security Protocols', Addison-Wesley, 2001
24 S. Abiteboul, O. Benjelloun, B. Cautis, and T. Milo, 'Active XML, Security and Access Control', Proceedings of SBBD, pp.13-22, 2004