The 2012 IEEE Colloquium in Information Science, Technology (CIST) is part of the IEEE CONFERENCE SERIES that are held in Morocco, is sponsored by the IEEE Morocco Section, the IEEE Morocco Computer, Commu nication Joint Chapter. The

This peer-reviewed paper presents original scientific research in computer science and information systems, addressing "Foreword". The authors discuss theoretical foundations, system architectures, empirical evaluations, and practical implications for modern digital ecosystems. Published in IJCSIS Vol. 9 No. 1 (2014).

Mohamed Yahiaoui. Faculty of sciences FSDM, USMBA University, P.O.B Atlas, Fez Researcher, Morocco. Researcher

In our days, geospatial data play a key role in a wide spectrum of critical fields, such as disaster and emergency management, environmental monitoring, land and city planning. The specific nature of these geospatial data presents many challenges in terms of security. Indeed, security issues for geospatial data are different and in many ways more complex than security issues for relational data. Among the se challenges, we find the detection and resolution of conflicts/anomalies between access control policies which is a very common situation in this kind of systems. In this work we deal with the problem of detection and resolution of conflicts/anomalies between GEOXACML policies. That is the case where several policies provide conflicting answers to a same request. We give more attention to the mathematical formalism of the problem. We introduce the notion of the canonical representation of the query space which is a classification that provides a natural way to handle interferences between policy targets (in other words conflicts/anomalies). Then we highlight the key role that this canonical representation will play as the core of a future Framework for conflict detection and resolution in GEOXACML access control systems.

Naoual Attaoui, Ahmed Bendahmane

The Agent in Grid (AiG ) project aims to develop an agent-based infrastructure that facilitates the resource management in the Grid. The core assumptions behind the system are: software agents representing Grid resources work in teams, and all information is ontologically represented and semantically processed. Thus far, trust management in AiG system is approached from the perspective of breaching an agreement between Users and teams or contracts between teams and Workers. Unfortunately, it is also possible that some Workers, which fulfilled the agreement, could have maliciously returned incorrect results from the jobs that they executed. In this paper, we discuss how the trust management in the AiG project can be improved by using a reputation-based voting technique, in order to assure reliable job execution.

Nasser Assem. Al Akhawayn University, Ifrane, Morocco. Researcher

In this paper, we present a sequence classifier for detecting host intrusions from long process system call sequences . The proposed classifier (called SC2.2) is a naïve Bayes classifier that builds class conditional probabilities from Markov modeling of system call sequences. We describe the proposed classifier, and then provide experimental results o n the widely used University of New Mexico ’s system call trace data sets. The r esults of our proposed classifier are benchmarked against leading classifiers, namely naive Bayes multinomial, C4.5 decision tree , RIPPER, support vector machine , and logistic regression. A key feature of the proposed classifier is its ability to handle efficiently arbitrarily long sequences , and zero transitional probabilities in the modeled Markov chain, by using a ―test, backtrack, scale and remultiply‖ technique, and using the m-estimate of conditional probabilities . Furthermore, it capitalizes on IEEE standard for floating-point arithmetic error specification to return classification confidence. Results show that the proposed classifier yields a better performance than standard classifiers on most datasets used.

Brahim BOUSETTA. Lab. LAVETE, FSTS Researcher, Hassan 1st University, Settat Morocco.

The Unified Modeling Language (UML) is widely considered as the defacto standard for the design of Object Oriented systems. This is standard has been wildly improved by the Model Driven Architecture (MDA) an other inititive of OMG to provide a complete development process for complex system. MDA promotes the use of models through the entire development process starting from a CIM for requirement specification to code generation. MDA provides also a set of model transformation to connect them and generate automatically the code. Among these models, UML state machines, finite state machines constitute the most widely used to specify the dynamic behavior of a system. However, generating code from state machine models, as part of the final system, constitutes one of the most challenging tasks due to its dynamic nature and because many state machine concepts are not supported by the object-oriented programming languages. Therefore, in this paper we introduce an approach to automatically generate code for specific platform from state machine.

Khalid Benlhachmi.Laboratory of Research in Computer Science, Telecommunications.Faculty of Science, Ibn Researcher

The approach of this paper proposes a new concept of test which represents a way to compare the behaviors of methods in sub-classes and their original versions in the super-classes for an object oriented specification. The test process gives the conditions where the comparison can induce a similar behavior. The result of this test constitutes a solid basis to reuse the inherited specifications in the sub-classes for testing the conformity of overriding methods. The main objective of the proposed work is to find the relationship between the test model of an overriding method and its overridden method using the constraint propagation. Our approach shows that the conformity testing in sub-classes is based on the similarity testing between overriding and overridden methods. The implementation of this approach is based on a random generation of test data and analysis by formal proof.

Mohammed El Mohajir. Computer sciences department, Faculty of sciences, University of Sidi Mohamed Ben Abdelah, Fez Researcher, Morocco. Researcher

Data warehouse (DW) architectures, which are at the core of many new generation information systems, are designed to provide decision makers and professional analysts with intuitive and performing means to explore and get intelligent data from large heterogeneous databases. Most methods dealing with DW projects focus on functional requirements related to data quality; nonfunctional requirements like security, performance or operability are considered in a complete separate way. The lack of a global approach that gather concurrently both aspects from the requirements analysis to the conceptual design causes that many DW projects fail to meet their goals in satisfying users’ needs and expectations. This work aims at developing a framework that encompasses both functional and non-functional requirements during the whole process of data warehouse design. This is achieved by integrating three additional aspects in the requirements analysis workflow, namely organizational, decisional and business process views. We select the telecom industry for our case study to demonstrate the viability of our approach.