Wyniki wyszukiwania - Biblioteka Nauki

Nowa wersja platformy, zawierająca wyłącznie zasoby pełnotekstowe, jest już dostępna.
Przejdź na https://bibliotekanauki.pl

Ograniczanie wyników

2 Fundamenta Informaticae

2 Gruska D. P.

Znaleziono wyników: 2

Liczba wyników na stronie

Wyniki wyszukiwania

Wyszukiwano:
w słowach kluczowych: surprisal

Sortuj według:

Ogranicz wyniki do:

Quantifying Security for Timed Process Algebras

100%

Gruska D. P.

Fundamenta Informaticae

2009

tom Vol. 93, nr 1-3

155-169

A quantification of process's security by quantification of an amount of information flow is defined and studied in the framework of timed process algebras. The resulting quantified security is compared with other (qualitative) security notions. Unprecise and limited observations are defined and discussed.

Process Algebra Contexts and Security Properties

100%

Gruska D. P.

Fundamenta Informaticae

2010

tom Vol. 102, nr 1

63-76

A general framework for defining security properties is presented. It allows us to model many traditional security properties as well as to define new ones. The framework is based on process algebras contexts and processes relations. By appropriate choice of both of them we can model also probabilistic and quantified security properties.