Zobrazeno 1 - 10
of 11
pro vyhledávání: '"Ignat, Iosif"'
Determining if two protocols can be securely composed requires analyzing not only their additive properties but also their destructive properties. In this paper we propose a new composition method for constructing protocols based on existing ones fou
Externí odkaz:
http://arxiv.org/abs/0908.4325
In the context of security protocol parallel composition, where messages belonging to different protocols can intersect each other, we introduce a new paradigm: term-based composition (i.e. the composition of message components also known as terms).
Externí odkaz:
http://arxiv.org/abs/0908.3083
We propose a performance evaluation method for security protocols. Based on the informal specification, we construct a canonical model which includes, alongside protocol messages, cryptographic operations performed by participants in the process of m
Externí odkaz:
http://arxiv.org/abs/0908.2871
Publikováno v:
2012 14th International Symposium on Symbolic & Numeric Algorithms for Scientific Computing; 2012, p179-186, 8p
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Iancu, Voichija, Ignat, Iosif
Publikováno v:
2010 IEEE International Conference on Automation Quality & Testing Robotics (AQTR); 2010, p1-6, 6p
Autor:
Dinsoreanu, Mihai, Ignat, Iosif
Publikováno v:
Software Engineering Research, Management & Applications 2009; 2009, p217-227, 11p
Publikováno v:
Scalable Computing: Practice & Experience; 2011, Vol. 12 Issue 1, p79-92, 14p, 2 Diagrams, 8 Charts
Publikováno v:
Diffusion and Defect Data Part B: Solid State Phenomena; September 2010, Vol. 166 Issue: 1 p89-94, 6p