Zobrazeno 1 - 10
of 25
pro vyhledávání: '"Avanesov, Tigran"'
Autor:
Avanesov, Tigran
Les contraintes de déductibilité ont été introduites pour vérifier les protocoles cryptographiques. Cette thèse présente une procédure de décision pour le problème de satisfaisabilité des systèmes généraux de contraintes de déductibili
Externí odkaz:
http://www.theses.fr/2011NAN10045/document
The problem of finding a mediator to compose secured services has been reduced in our former work to the problem of solving deducibility constraints similar to those employed for cryptographic protocol analysis. We extend in this paper the mediator s
Externí odkaz:
http://arxiv.org/abs/1207.4871
Many decision problems on security protocols can be reduced to solving so-called intruder constraints in Dolev Yao model. Most constraint solving procedures for protocol security rely on two properties of constraint systems called monotonicity and va
Externí odkaz:
http://arxiv.org/abs/1103.0220
Publikováno v:
In Journal of Symbolic Computation May-June 2017 80 Part 1:27-61
Publikováno v:
In Journal of Symbolic Computation May-June 2017 80 Part 1:4-26
Autor:
Avanesov, Tigran, Gheorghe, Gabriela, Palattella, Maria Rita, Kantor, Miroslaw, Popoviciu, Ciprian, Thomas Engel
Publikováno v:
Proc. of IFIP/IEEE International Symposium on Integrated Network Management (IM). (2015).
BASE-Bielefeld Academic Search Engine
BASE-Bielefeld Academic Search Engine
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::f53d7bbf1cf22eabdcccd1d38aab3ac7
http://orbilu.uni.lu/handle/10993/24847
http://orbilu.uni.lu/handle/10993/24847
Les systèmes d’infotainment embarqués dans les véhicules sont amenés à se multiplier davantage dans les années à venir. Bien que cette tendance mette en évidence la nécessité de comprendre et d’optimiser la charge attentionnelle placée
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______2658::90d9eb71f4f5b17d33fd57aa237aeb25
http://orbilu.uni.lu/handle/10993/5654
http://orbilu.uni.lu/handle/10993/5654
Gamification is often thought of as the end result or outcome of a project. In this paper we explore how it can also be adopted during the conceptual design stage using metaphorical games and as a method of testing concepts within a more advanced sim
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______2658::97c8b5fc135fcbf840e9b6b910e4e15d
http://orbilu.uni.lu/handle/10993/5658
http://orbilu.uni.lu/handle/10993/5658
Publikováno v:
Adjunct Proceedings of 4th International Conference on Automotive User Interfaces and Interactive Vehicular Applications, 2, 32-33. ACM SIGCHI (2012).
This paper presents an architecture and partially built simulation platform which is designed to offer a flexible open ended approach for conducting laboratory experiments. The emphasis is on supporting multiple drivers and the ability to swap in and
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______2658::d8579df518d2bdf929fc33254ba2731b
http://orbilu.uni.lu/handle/10993/4766
http://orbilu.uni.lu/handle/10993/4766
Autor:
Avanesov, Tigran
Publikováno v:
Cryptography and Security [cs.CR]. Université Henri Poincaré-Nancy 1, 2011. English
Yassine Lakhnech n'a pas pu assister a la soutenance; Deducibility constraints have been introduced to verify cryptographic protocols. This thesis gives a decision procedure for the satisfiability problem of general deducibility constraints. Two case
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od_______212::e56f90c0b21126fad333ff8cd91b7502
https://tel.archives-ouvertes.fr/tel-01746193v3/document
https://tel.archives-ouvertes.fr/tel-01746193v3/document