34410 articles – 26941 Notices  [english version]
.:. Consultation > Par auteur > Avanesov .:.
10 documents classés par :

Towards the Orchestration of Secured Services under Non-disclosure Policies.
Avanesov T., Chevalier Y., Rusinowitch M., Turuani M.
Dans 6th International Conference on Mathematical Methods, Models and Architectures for Computer Network Security, MMM-ACNS 2012 7531 (2012) 130-145 [hal-00755947 - version 1]
fulltext access Intruder deducibility constraints with negation. Decidability and application to secured service compositions.
Avanesov T., Chevalier Y., Rusinowitch M., Turuani M.
N° RR-8017 (2012) [hal-00719011 - version 1]
The AVANTSSAR Platform for the Automated Validation of Trust and Security of Service-Oriented Architectures
Armando A., Arsac W., Avanesov T., Barletta M., Calvi A., Cappai A., Carbone R., Chevalier Y., Compagna L., Cuellar J. et al
Dans Tools and Algorithms for the Construction and Analysis of Systems - 18th International Conference, TACAS 2012 7214 (2012) 267-282 [hal-00759725 - version 1]
fulltext access Web Services Verification and Prudent Implementation
Avanesov T., Chevalier Y., Mekki M. A., Rusinowitch M.
Dans 4th SETOP International Workshop on Autonomous and Spontaneous Security (2011) [hal-00641326 - version 1]
fulltext access Distributed Orchestration of Web Services under Security Constraints
Avanesov T., Chevalier Y., Mekki M. A., Rusinowitch M., Turuani M.
Dans 4th SETOP International Workshop on Autonomous and Spontaneous Security (2011) [hal-00641321 - version 1]
fulltext access Résolution de contraintes de déductibilité. Application à la composition de services Web sécurisés
Avanesov T.
Université Henri Poincaré - Nancy I (2011-09-19), Michael Rusinowitch (Dir.) [tel-00641237 - version 2]
fulltext access Satisfiability of General Intruder Constraints with and without a Set Constructor
Avanesov T., Chevalier Y., Rusinowitch M., Turuani M.
N° RR-7276 (2010) [inria-00480632 - version 3]
Satisfiability of General Intruder Constraints with a Set Constructor
Avanesov T., Chevalier Y., Rusinowitch M., Turuani M.
In The Fifth International Conference on Risks and Security of Internet and Systems - CRiSIS 2010 (2010) [inria-00531025 - version 1]
fulltext access Abusing SIP authentication
Abdelnur H., Avanesov T., Rusinowitch M., State R.
Journal of Information Assurance and Security 4, 4 (2009) 311-318 [inria-00405356 - version 1]
fulltext access Abusing SIP Authentication
Abdelnur H., Avanesov T., Rusinowitch M., State R.
In Information Assurance and Security ( ISIAS) (2008) 237-242 [inria-00326077 - version 1]