The papers focus on the formal aspects of security policy and trust models, security protocol design and analysis, formal models of trust and reputation, the logic for security and trust, the trust distributed systems management, reasoning based on trust, digital assets protection, data protection, privacy and issues id issues, information flow analysis, language-based security, security and trust aspects in ubiquitous, computing validation / analysis tools, web services security / trust / privacy, security, grid, security risk assessment, and case studies.