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

1 Prace Naukowe Akademii im. Jana Długosza w Częstochowie. Edukacja Techniczna i Informatyczna
1 Scientific Issues Jan Długosz University in Częstochowa. Technical and IT Education
1 Scientific Issues of Jan Długosz University in Częstochowa. Mathematics

2 2006

Znaleziono wyników: 2

Liczba wyników na stronie

Wyniki wyszukiwania

Sortuj według:

Ogranicz wyniki do:

Verifying Untimed Version of the WMF Protocol Using networks of Autamata

100%

Grondys K. , Kurkowski M. , Sowik A. , Szczypior I.

Scientific Issues of Jan Długosz University in Częstochowa. Mathematics

2006

tom Vol. 11

51--58

In this paper we present some results of symbolic verification of untimed version of The Wide-Mouth Frog Protocol. This protocol is designed for achieving authentication between communicating sides in the computer network and exchange a new session cryptographic key. For our investigation we model executions of this protocol by a network of synchronized untimed automata. We investigate suitable protocols properties by testing reachablity of some distinguished states in the defined network. We use VerICS [5] - the symbolic model checker - for searching in our network.

Elementy kryptografii w szkole

100%

Kurkowski M. , Sowik A. , Szczypior I.

Prace Naukowe Akademii im. Jana Długosza w Częstochowie. Edukacja Techniczna i Informatyczna

2006

tom T. 1

87-103

Nowadays security of information and data play an important role in the life. Number of computers and people who use them increases much from day to day, therefore electronic way of keeping and sending information is so popular. This is one of the most important reasons why in computer science subject it is necessary to have a some course of Cryptography and Safety Systems. In this paper we will investigate some reasons why it is so important for students in schools. Other reason why it is worth start teaching PGP System in schools is that this system is very simple in use. The instalation and generation keys is very easy that every students will have no problems with them. We also suggest to introduced with Electronic Sign which becomes very popular in many institutions. Below we will define and discuss the rule of using, algorithms and law aspect of Electronic Sign. We will also recapitulate possibility and instalation process of PGP System.