Podejście obiektowe w budowie dowodu zaufania do systemów informatycznych.

Janusz Górski; Aleksander Jarzębowicz; Rafał Leszczyna; Jakub Miler; Marcin (009) Olszewski

Podejście obiektowe w budowie dowodu zaufania do systemów informatycznych.

Abstrakt

Artykuł prezentuje obiektowe podejście w budowie dowodów zaufania dla systemów informatycznych. Przedstawiono strukturę koncepcyjną takiego dowodu,omówiono sposób konstrukcji drzewa dowodowego wykorzystujący analizę modeli obiektowych badanego systemu. W artykule zaproponowano sposób tworzenia obiektowych modeli kontekstu dla rozpatrywanych żądań oraz podkreślono wagę precyzyjnego wyrażenia tego kontekstu. Ponadto omówiono zastosowanie metodologii obiektowej do opisu elementów drzewa dowodu zaufania. Na zakończenie podsumowano praktyczne zastosowanie proponowanej metody w projekcie IST-DRI-VE 5. Programu Ramowego Unii Europejskiej.

Autorzy (5)

Janusz Górski prof. dr hab. inż.
Aleksander Jarzębowicz dr inż.
Rafał Leszczyna dr hab. inż.
Jakub Miler dr inż.
Marcin (009) Olszewski
- Wydział Elektroniki, Telekomunikacji i Informatyki
- Politechnika Gdańska

Cytuj jako

Pełna treść

pełna treść publikacji nie jest dostępna w portalu

Słowa kluczowe

Informacje szczegółowe

Kategoria:: Publikacja w czasopiśmie
Typ:: artykuły w czasopismach recenzowanych i innych wydawnictwach ciągłych
Opublikowano w:: Zeszyty Naukowe Wydziału ETI Politechniki Gdańskiej. Technologie Informacyjne nr 1, strony 369 - 378,
ISSN: 1732-1166
Język:: polski
Rok wydania:: 2003
Opis bibliograficzny:: Górski J., Jarzębowicz A., Leszczyna R., Miler J., Olszewski M.: Podejście obiektowe w budowie dowodu zaufania do systemów informatycznych. // Zeszyty Naukowe Wydziału ETI Politechniki Gdańskiej. Technologie Informacyjne. -Vol. 1., nr. 2 (2003), s.369-378
Weryfikacja:: Politechnika Gdańska