Logics and Languages for Reliability and Security 2010