Foundations and Practice of Security : 4th Canada-France MITACS Workshop, FPS 2011, Paris, France, May 12-13, 2011, Revised Selected Papers - Joaquin Garcia-Alfaro, Pascal Lafourcade ((Lecture Notes in Computer Science))