ARTICLES

Filter  
Active filters 0
Remove
  

Refine your searches by:

Collections
Technology
Biology
Agronomy and forestry
Industrial engineer
Chemistry
Pure sciences
Food and nutrition
Physical
Mathematics
Environment
all records (73)

Languages
English
Spanish
German
Portuguese
Finnish
French

Countries
Indonesia
USA
Ukraine
Brazil
Russia
India
Lithuania
Italy
Turkey, Turkish Republic
Chile
all records (73)

Years
2023
2022
2021
2020
2019
2018
2017
2016
2015
2014
all records (24)

Filter  
 
24.954  Articles
1 of 2.496 pages  |  10  records  |  more records»
Rijndael algorithm was selected as the advanced encryption standard in 2001 after five year long security evaluation; it is well proven in terms of its strength and efficiency. The substitution box is the back bone of the cipher and its strength lies in t... see more

We characterize the non-trivial substructural logics having the variable sharing property as well as its strong version. To this end, we find the algebraic counterparts over varieties of these logical properties.

In this work, we present an algebraic approach for modeling the two-party cascade protocol of Dolev-Yao and for fully formalizing its security in the specification language of the Prototype Verification System PVS. Although cascade protocols could be argu... see more

In this work, we present an algebraic approach for modeling the two-party cascade protocol of Dolev-Yao and for fully formalizing its security in the specification language of the Prototype Verification System PVS. Although cascade protocols could be argu... see more

The localization properties of the wave functions of vibrations in two-dimensional (2D) crystals are studied numerically for square and hexagonal lattices within the framework of an algebraic model. The wave functions of 2D lattices have remarkable locali... see more

The aim of the research is to identify the effectiveness of using a proposed strategy according to the (Marquqrd) model in the algebraic thinking skills of second-grade intermediate students in the schools of the General Directorate of Education in Babylo... see more

In this study, the Chinese in-service teachers’ didactic-mathematical knowledge on elementary algebraic reasoning is assessed using a questionnaire developed in Spain. The first aim is to diagnose current situation in China of in-service primary school te... see more

In the inference attacks studied in Quantitative Information Flow (QIF), the attacker typically tries to interfere with the system in the attempt to increase its leakage of secret information. The defender, on the other hand, typically tries to decrease l... see more

Boolean functions that are maximally nonlinear, that is, having maximal Hamming distance from the set of affine Boolean functions, are widely used, for  example, in the construction of ciphers, since they increase their security  against  c... see more

1 of 2.496 pages  |  10  records  |  more records»