AVANTSSAR

Automated VAlidatioN of Trust and Security of Service-oriented ARchitectures

AVANTSSAR

Main menu

Skip to primary content
  • Project Members
  • Publications
  • Related Projects
  • Forerunner/Follow-up Projects
  • Avantssar Library
  • AVANTSSAR platform
  • Public Deliverables

JAR-CS 09

Special Issue of the Journal of Automated Reasoning
on Computer Security: Foundations and Automated Reasoning
Proudly powered by WordPress