An approach to exponentiation with interval-valued power

The main aim of the work is introducing an operation of raising intuitionistic fuzzy values to intuitionistic fuzzy power, which not requiring to conversion of intuitionistic fuzzy values. Introducing an operation of raising intuitionistic fuzzy values to intuitionistic fuzzy power, which does not require conversion of intuitionistic fuzzy values is the main aim of the work. It is known that, in the classical intuitionistic fuzzy sets theory, the use of all aggregation modes is not always possible because of the lack of definition of raising intuitionistic fuzzy values to intuitionistic fuzzy power. Therefore, the specific aim of the work is to present the heuristic method of raising intuitionistic fuzzy values to intuitionistic fuzzy power, and the consideration of its properties

An approach to exponentiation with interval-valued power

The main aim of the work is introducing an operation of raising intuitionistic fuzzy values to intuitionistic fuzzy power, which not requiring to conversion of intuitionistic fuzzy values. Introducing an operation of raising intuitionistic fuzzy values to intuitionistic fuzzy power, which does not require conversion of intuitionistic fuzzy values is the main aim of the work. It is known that, in the classical intuitionistic fuzzy sets theory, the use of all aggregation modes is not always possible because of the lack of definition of raising intuitionistic fuzzy values to intuitionistic fuzzy power. Therefore, the specific aim of the work is to present the heuristic method of raising intuitionistic fuzzy values to intuitionistic fuzzy power, and the consideration of its properties

Timed models of security protocols including delays in the network

A very important part of the network and computer systems is to ensure an appropriate level of information transmission security. Security is based primarily on properly selected communication in security protocol. Unfortunately, the time-dependent protocols are vulnerable to attacks; therefore there is a need to verify these protocols. For verification purposes, protocols can be modeled using timed automata. During the modeling and verification of the protocols, one should also keep in mind delays in the network. So far, delays in the network were not modeled

Timed models of security protocols including delays in the network

A very important part of the network and computer systems is to ensure an appropriate level of information transmission security. Security is based primarily on properly selected communication in security protocol. Unfortunately, the time-dependent protocols are vulnerable to attacks; therefore there is a need to verify these protocols. For verification purposes, protocols can be modeled using timed automata. During the modeling and verification of the protocols, one should also keep in mind delays in the network. So far, delays in the network were not modeled

Towards Most Efficient Method for Untimed Security Protocols Verification

Security protocols are a crucial point of more complicated communication protocols that are responsible for keeping security during data transmission in computer networks. From a security point of view, proper verification of such protocols properties is a significant challenge. In the last decades, many concepts and connected with them verification tools were developed and successfully used for checking protocols correctness conditions. In this area of research, much attention is paid for suitable methods of protocols modelling and a low as possible a computational complexity of algorithms used. The last property is important because it allows practical use of such structures and algorithms for automatic verification. Adding timestamps for protocols schemes caused a need for time modelling in solutions of security protocols verification. Time models added into considerations introduce more complicated structures and increase the complexity of structures and algorithms used in the verification process. According to this, there is still a need of looking for more and more efficient ways for modelling of untimed versions of the protocols, for which adding time will be effective from the verification process point of view. In this paper, we propose a new method for modelling and verification of untimed security protocols properties. We present an idea, examples, an algorithm and experimental results for several protocols. We also compare our results with the best, well-known verification tools