 | Monter d'un niveau |
Boteanu, D., Fernandez, J. M., McHugh, J., & Mullins, J. (octobre 2007). Queue management as a DoS counter-measure? [Communication écrite]. 10th Information Security Conference (ISC 2007), Valparaiso, Chile. Lien externe
Brlek, S., Hamadou, S., & Mullins, J. (septembre 2007). A probabilistic scheduler for the analysis of cryptographic protocols [Communication écrite]. 5th International Workshop on Security Issues in Concurrency (SecCo 2007), Lisbonne, Portugal. Lien externe
Cassez, F., Mullins, J., & Roux, O. H. (septembre 2007). Synthesis of Non-interferent Distributed Systems [Communication écrite]. 4th International Conference on Mathematical Methods, Models and Architectire for Computer Networks Security (MMM-ACNS07), St-Petersburg, Russie. Lien externe
Gardey, G., Mullins, J., & Roux, O. H. (août 2005). Non-interference control synthesis for security timed automata [Communication écrite]. 4th Workshop on Security Issues in Concurrency (SecCO 2005), San Francisco, CA. Publié dans Electronic Notes in Theoretical Computer Science, 180(1). Lien externe
Mullins, J., & Oarga, R. (juin 2007). Model checking of extended OCL constraints over UML models with SOCLe [Communication écrite]. 9th IFIP International Conference on Formal Methods for Open Object-based distributed Systems (FMOODS 2007), Paphos, Chypre. Lien externe
