Breadcrumb

 
 

Towards Security Hardening of Scientific Demand-Driven and Pipelined Distributed Computing Systems

Title:

Towards Security Hardening of Scientific Demand-Driven and Pipelined Distributed Computing Systems

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.

[img]
Preview
PDF - Accepted Version
288Kb

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 > Faculty of Engineering and Computer Science > Computer Science and Software Engineering
Concordia University > Faculty 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:
  • General Intensional Programming System (GIPSY)
  • Distributed Modular Audio Recognition Framework (DMARF)
  • Java Data Security Framework (JDSF)
Funders:
  • NSERC
  • Faculty of Engineering and Computer Science (ENCS), Concordia University
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 16:28
Last Modified:02 Dec 2011 16:28
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

Document Downloads

More statistics for this item...

Concordia University - Footer