Wyniki wyszukiwania - BazTech

Ograniczanie wyników

Znaleziono wyników: 1

Liczba wyników na stronie

Wyniki wyszukiwania

Wyszukiwano:
w słowach kluczowych: unprecise and limited observations

Sortuj według:

Ogranicz wyniki do:

Quantifying Security for Timed Process Algebras

Gruska D.P.

Fundamenta Informaticae

2009

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.