Applied sciences

Theoretical and Applied Informatics


Theoretical and Applied Informatics | 2013 | No 2 |

Download PDF Download RIS Download Bibtex


The paper presents a new ontology-based approach to the elaboration and management of evidences prepared by developers for the IT security evaluation process according to the Common Criteria standard. The evidences concern the claimed EAL (Evaluation Assurance Level) for a developed IT product or system, called TOE (Target of Evaluation), and depend on the TOE features and its development environment. Evidences should be prepared for the broad range of IT products and systems requiring assurance. The selected issues concerning the author’s elaborated ontology are discussed, such as: ontology domain and scope definition, identification of terms within the domain, identification of the hierarchy of classes and their properties, creation of instances, and an ontology validation process. This work is aimed at the development of a prototype of a knowledge base representing patterns for evidences.
Go to article

Authors and Affiliations

Andrzej Białas
Download PDF Download RIS Download Bibtex


In the article we study a model of TCP connection with Active Queue Managementin an intermediate IP router. We use the fluid flow approximation technique to model the interactions between the set of TCP flows and AQM algoithms. Computations for fluid flow approximation model are performed in the CUDA environment.
Go to article

Authors and Affiliations

Adam Domański
Joanna Domańska
Tadeusz Czachórski
Download PDF Download RIS Download Bibtex


Traffic classification is an important tool for network management. It reveals the source of observed network traffic and has many potential applications e.g. in Quality of Service, network security and traffic visualization. In the last decade, traffic classification evolved quickly due to the raise of peer-to-peer traffic. Nowadays, researchers still find new methods in order to withstand the rapid changes of the Internet. In this paper, we review 13 publications on traffic classification and related topics that were published during 2009-2012. We show diversity in recent algorithms and we highlight possible directions for the future research on traffic classification: relevance of multi-level classification, importance of experimental validation, and the need for common traffic datasets.
Go to article

Authors and Affiliations

Paweł Foremski

Editorial office

Editor-in-Chief: Prof. dr hab. inż. Jerzy Klamka

Managing Editor:
dr hab. Jarosław Miszczak


Theoretical and Applied Informatics Institute of Theoretical and Applied Informatics Polish Academy of Sciences Bałtycka 5, 44-100 Gliwice, Poland Editorial Office Secretary dr hab. Jarosław Miszczak e-mail:

Instructions for authors

Submissions of a manuscript for publication in TaAI implies that the paper was not previously published (with possible exceptions of selected conference and invited papers) and is not being submitted for publication elsewhere; that permission for publication, if needed, has been granted by appropriate sources; and the first author ensures that other authors have approved the paper for publication.

Manuscripts (in 2 paper copies and electronic copy) should be sent directly to the Editorial Office. All further correspondence, proofs and offprints will be sent to the first author, unless indicated otherwise by the authors.

All papers will be evaluated by one of the Editors and will be reviewed.

Suitability for publication will be judged on the basis of relevance of the paper contents to the overall TaAI aims and scope, its originality, technical quality, importance and readability.

The language of the journal is English (with possible exceptions). The text should be formatted, and appropriate templates (DOC or TeX format) are available at:

Author will receive 10 offprints of published paper without charge.

Authors can receive their paper for a galley proof. Extensive changes of the text in galley proofs are unacceptable; in exceptional cases a note added in a proof can be included at the end of paper. If the proofs are not returned promptly, the article will be proof-read against the manuscript by the publisher and printed without author's corrections.

Editorial Office right is to skip galley proof stage in the process of publication.

This page uses 'cookies'. Learn more