Repozytorium publikacji - Politechnika Gdańska

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

• prof. dr hab. inż. Janusz Górski link otwiera się w nowej karcie ,
• dr inż. Aleksander Jarzębowicz link otwiera się w nowej karcie ,
• dr hab. inż. Rafał Leszczyna link otwiera się w nowej karcie ,
• dr inż. Jakub Miler link otwiera się w nowej karcie ,
• Marcin (009) Olszewski