Mokhov, Serguei A. (2008) Towards Security Hardening of Scientific Demand-Driven and Pipelined Distributed Computing Systems. In: International Symposium on Parallel and Distributed Computing (ISPDC), July 1-5, 2008, Krakow, Poland.
Preview |
Text (application/pdf)
295kBmarf-gipsy-distributed-sec-ispdc08.pdf - Accepted Version |
Official URL: http://dx.doi.org/10.1109/ISPDC.2008.52
Abstract
This work highlights and takes aim at the most critical security aspects required for two different types of distributed systems for scientific computation. It covers two open-source systems written in Java: a demand-driven system - general intensional programming system (GIPSY) and a pipelined system - distributed modular audio recognition framework (DMARF), which are the distributed scientific computational engines used as case studies with respect to the security aspects. More specific goals include data/demand integrity, data/demand origin authentication, confidentiality, high availability, and malicious code detection. We address some of the goals to a degree, some with the Java data security framework (JDSF) as a work-in- progress.
| Divisions: | Concordia University > Gina Cody School of Engineering and Computer Science > Computer Science and Software Engineering Concordia University > Gina Cody School of Engineering and Computer Science > Concordia Institute for Information Systems Engineering Concordia University > Research Units > Computer Security Laboratory |
|---|---|
| Item Type: | Conference or Workshop Item (Paper) |
| Refereed: | Yes |
| Authors: | Mokhov, Serguei A. |
| Date: | 22 December 2008 |
| Projects: |
|
| Funders: |
|
| Digital Object Identifier (DOI): | 10.1109/ISPDC.2008.52 |
| Keywords: | Distributed Modular Audio Recognition Framework (DMARF), General Intensional Programming System (GIPSY), Java Data Security Framework (JDSF), scientific distributed computing systems, security hardening |
| ID Code: | 15119 |
| Deposited By: | Serguei Mokhov |
| Deposited On: | 02 Dec 2011 21:28 |
| Last Modified: | 18 Jan 2018 17:35 |
| Related URLs: |
References:
E. A. Ashcroft and W. W. Wadge. Lucid - A Formal System for Writing and Proving Programs. volume 5. SIAM J. Comput. no. 3, 1976.E. A. Ashcroft and W. W. Wadge. Erratum: Lucid - A Formal System for Writing and Proving Programs. volume 6 (1):200. SIAM J. Comput., 1977.
E. A. Ashcroft and W. W Wadge. Lucid, a nonprocedural language with iteration. Communication of the ACM, 20 (7):519-526, July 1977.
D. Harrington, R. Presuhn, and B. Wijnen. RFC 2571: An Architecture for Describing SNMP Management Frameworks. www.ietf.org, Apr. 1999. http://www.ietf.org/rfc/rfc2571.txt, viewed in January 2008.
I. A. N. A. (IANA). PRIVATE ENTERPRISE NUMBERS: SMI Network Management Private Enterprise Codes, iana.org, Mar. 2007. http://www.iana.org/ assignments/enterprise-numbers.
R. Jagannathan and C. Dodd. GLU programmer's guide. Technical report, SRI International, Menlo Park, California, 1996.
R. Jagannathan, C. Dodd, and I. Agi. GLU: A high-level system for granular data-parallel programming. In Concurrency: Practice and Experience, volume 1, pages 63-83, 1997.
Jini Community. Jini Network Technology. Sun Microsystems, Inc., Sept. 2007. http://java.sun.com/developer/products/j ini/index.jsp
B. Lu, P. Grogono, and J. Paquet. Distributed execution of multidimensional programming languages. In Proceedings 15th IASTED International Conference on Parallel and Distributed Computing and Systems (PDCS 2003), volume 1, pages 284-289. International Association of Science and Technology for Development, Nov. 2003.
Q. H. Mamoud. Getting Started With JavaSpaces Technology: Beyond Conventional Distributed Programming Paradigms. Sun Microsystems, Inc., July 2005. http://java.sun.com/developer/technicalArticles/tools/JavaSpaces/.
S. Mokhov. On design and implementation of distributed modular audio recognition framework: Requirements and specification design document, [online], http://marf.sf.net, 2006. Project Report.
S. A. Mokhov. Towards hybrid intensional programming with JLucid, Objective Lucid, and General Imperative Compiler Framework in the GIPSY. Master's thesis, Department of Computer Science and Software Engineering, Concordia University, Montreal, Canada, 2005.
S. A. Mokhov. Introducing MARF: a modular audio recognition framework and its applications for scientific and software engineering research. In Advances in Computer and Information Sciences and Engineering, pages 473-478. Springer Netherlands, Dec. 2007.
S. A. Mokhov. Choosing best algorithm combinations for speech processing tasks in machine learning using MARF. In S. Bergler, editor, Proceedings of the 21st Canadian AI'08, pages 216-221. Springer-Verlag, Berlin Heidelberg, May 2008. LNAI 5032.
S. A. Mokhov. Experimental results and statistics in the implementation of the modular audio recognition framework's API for text-independent speaker identification. In C. D. Zinn, H.-W. Chu, M. Savoie, J. Ferrer, and A. Munitic, editors, Proceedings of the 6th International Conference on Computing, Communications and Control Technologies (CCCT'08), volume II, pages 267-272. IIIS, June 2008.
S. A. Mokhov. Study of best algorithm combinations for speech processing tasks in machine learning using median vs. mean clusters in MARF. In B. C. Desai, editor, Proceedings of C3S2E'08, pages 29-43. ACM, May 2008.
S. A. Mokhov. Towards syntax and semantics of hierarchical contexts in multimedia processing applications using MARFL. In Proceedings of the 32nd Annual IEEE International Computer Software and Applications Conference (COMPSAC), pages 1288-1294. IEEE CS, July 2008.
S. A. Mokhov, L. W. Huynh, and J. Li. Managing distributed MARF's nodes with SNMP. In Proceedings of PDPTA'2008, Las Vegas, USA, Aug. 2008. CSREA Press. To appear.
S. A. Mokhov, L. W. Huynh, J. Li, and F Rassai. A Java Data Security Framework (JDSF) for MARF and HSQLDB. Concordia Institute for Information Systems Engineering, Concordia University, Montreal, Canada, 2007. Project Report.
S. A. Mokhov, L. W. Huynh, J. Li, and F Rassai. A privacy framework within the java data security framework (JDSF): Design refinement, implementation, and statistics. In N. Callaos, W. Lesso, et al., editors, Proceedings of the 12th World Multi-Conference on Systemics, Cybernetics and Informatics, volume V, pages 131-136. IIIS, 2008.
S. A. Mokhov, L. W. Huynh, F Rassai, and J. Li. An integrity framework within the java data security framework (JDSF): Design refinement, implementation, and statistics. In Submitted for publication at CISSE'08, Dec. 2008.
S. A. Mokhov and J. Paquet. Formally specifying and proving operational aspects of Forensic Lucid in Isabelle. Technical Report 2008-1-Ait Mohamed, Department of Electrical and Computer Engineering, Concordia University, Aug. 2008. In Theorem Proving in Higher Order Logics (TPHOLs2008): Emerging Trends Proceedings.
S. A. Mokhov, J. Paquet, and M. Debbabi. Formally specifying operational semantics and language constructs of Forensic Lucid. In Proceedings of IMF'08, Mannheim, Germany, Sept. 2008. To appear.
S. A. Mokhov, F Rassai, L. W. Huynh, and J. Li. An authentication framework within the java data security framework (JDSF): Design refinement, implementation, and statistics. In Submitted for publication at CISSE'08, Dec. 2008.
S. A. Mokhov, S. Sinclair, I. Clement, D. Nicolacopoulos, and the MARF Research & Development Group. Text-Independent Speaker Identification Application. Published electronically within the MARF project, http://marf.sf.net.2002-2008. Last viewed April 2008.
J. Paquet. Scientific Intensional Programming. PhD thesis, Department of Computer Science, Laval University, Sainte-Foy, Canada, 1999.
J. Paquet. A multi-tier architecture for the distributed eductive execution of hybrid intensional programs. Submitted for publication at SAC'09, 2008.
J. Paquet and P. Kropf. The GIPSY Architecture. In Proceedings of Distributed Computing on the Web, Quebec City, Canada, 2000.
J. Paquet and A. H. Wu. GIPSY - A Platform for the Investigation on Intensional Programming Languages. In Proceedings of the 2005 International Conference on Programming Languages and Compilers (PLC 2005), Las Vegas, USA, pages 8-14. CSREA Press, June 2005.
A. H. Pourteymour, E. Vassev, and J. Paquet. Towards a new demand-driven message-oriented middleware in GIPSY. In Proceedings of the PDPTA 2007, Las Vegas, USA, June 2007. CSREA Press.
A. H. Pourteymour, E. Vassev, and J. Paquet. Design and implementation of demand migration systems in GIPSY. In Proceedings of the PDPTA 2008, Las Vegas, USA, June 2008. CSREA Press.
A. H. Pouteymour. Comparative study of Demand Migration Framework implementation using JMS and Jini. Master's thesis, Department of Computer Science and Software Engineering, Concordia University, Montreal, Canada, Sept. 2008.
Sun Microsystems. Java IDL. Sun Microsystems, Inc., 2004. http://java.sun.com/j2se/1.5.0/docs/guide/idl/index.html.
Sun Microsystems. The Java Web Services Tutorial (For Java Web Services Developer's Pack, v2.0). Sun Microsystems, Inc., Feb. 2006. http://java.sun.com/webservices/docs/2.0/tutorial/doc/index.html.
Sun Microsystems. Java Message Service (JMS). Sun Microsystems, Inc., Sept. 2007. http://java.sun.com/products/jms/.
E. Vassev and J. Paquet. A Generic Framework for Migrating Demands in the GIPSY's Demand-Driven Execution Engine. In Proceedings of the 2005 International Conference on Programming Languages and Compilers (PLC 2005), Las Vegas, USA, pages 29-35. CSREA Press, June 2005.
E. I. Vassev. General architecture for demand migration in the GIPSY demand-driven execution engine. Master's thesis, Department of Computer Science and Software Engineering, Concordia University, Montreal, Canada, June 2005.
A. Wollrath and J. Waldo. Java RMI Tutorial. Sun Microsystems, Inc., 1995-2005. http://java.sun.com/docs/books/tutorial/rmi/index.html.
All items in Spectrum are protected by copyright, with all rights reserved. The use of items is governed by Spectrum's terms of access.
Repository Staff Only: item control page
Download Statistics
Download Statistics