Wyniki wyszukiwania - BazTech

Ograniczanie wyników

2 Zeszyty Naukowe Wydziału ETI Politechniki Gdańskiej. Technologie Informacyjne

2 2006

Znaleziono wyników: 2

Liczba wyników na stronie

Wyniki wyszukiwania

Sortuj według:

Ogranicz wyniki do:

Wykorzystanie programu AutoFocus do analizy protokołów kryptograficznych

Cyra Ł., Olszewski M.

Zeszyty Naukowe Wydziału ETI Politechniki Gdańskiej. Technologie Informacyjne

2006

T. 11

639-646

AutoFocus jest narzędziem wspomagającym wytwarzanie systemów wbudowanych charakteryzujących się wysoką niezawodnością. Artykuł prezentuje studium przypadku zastosowania narzędzia i związanej z nim metody formalnej Focus do analizy bezpieczeństwa (ang. security) protokołu tworzenia podpisu cyfrowego w środowisku rozproszonym. Zastosowana metoda formalna wykorzystana została jako ostatni etap zintegrowanej metody oceny protokołów kryptograficznych. Omówiono proces tworzenia modelu protokołu, sposób przeprowadzenia analizy oraz zaprezentowano otrzymane wyniki. Wskazano przyczyny powstania wykrytego defektu protokołu.

AutoFocus is a tool which aids the development of reliable embedded systems. The paper demonstrates how to apply the tool and the associated forma! method Focus for security protocol analysis. The paper also presents a case study: security analysis of a trusted signature creation protocol for distributed systems. The presented formal technique was used as the last stage of an integrated approach for security protocols analysis. The paper presents the process of creating the protocol model, the process of performing the analysis and the obtained results. Reasons for the detected protocol anomaly are discussed.

Praca z normą Common Criteria wspomagana szablonami Trust Case

Cyra Ł., Górski J.

Zeszyty Naukowe Wydziału ETI Politechniki Gdańskiej. Technologie Informacyjne

2006

T. 11

615-622

Trust Case stanowi strukturę danych zawierającą argumentację oraz związany z nią materiał dowodowy uzasadniający, że interesujący nas obiekt (system, infrastruktura, organizacja) posiada wskazane własności. Metoda jest przedmiotem intensywnych badań. Jeden z kierunków rozwoju dotyczy tworzenia szablonów oceny zgodności ze standardami. Szablon Trust Case jest odwzorowaniem wymagań zawartych w normie w strukturę drzewa dowodowego. Stanowi szkielet dowodu, w którym umieszczony może zostać materiał potwierdzający zgodność ze standardem. W ramach artykułu zdefiniowano sposób wywodzenia szablonów Trust Case z normy Common Criteria. Dokładnie omówiono szablon oceny zgodności systemu z poziomem zaufania EAL l zdefiniowanym w standardzie. Przedstawiono potencjalne zastosowania wywiedzionych szablonów.

Trust Case is a data structure which proves that an object (system, infrastructure, organization) has certain properties. Ił contains argumentation and connected evidence documentation which justifies the claimed properties. Trust Case method is being developed intensively. One of the development areas concerns standard compliance evaluation templates. A Trust Case is a mapping of standard requirements into a tree structure. It is the framework of a proof. Documentation of evidence justifying compliance with the standard can be placed in it. The article defines a method of deriving Trust Case templates from Common Criteria standard. A template of compliance evaluation with the assurance level EAL1, which is defined in the standard, is presented in detail. Potential applications of the derived templates are described.