Seminar: Security Policy Languages for Software Verification (Summer Term 2013)

Jinwei Hu, Ph.D.
in TUCAN and at MAIS Secretary (S2|02 E318)
Preparation meeting:
Wednesday, 17.04.13, 16:15 in S2|02 E302
Seminar dates:
Block seminar on 14.06.13, 9:00-12:15 in S202 E202
see internal page


Policy languages are used by automated verification approaches (e.g., model checking) to express softwares' security requirements (e.g., confidentiality, integrity, and availability). On the one hand, a policy language should be expressive enough to capture real-life requirements; on the other hand, it should be amenable to formal interpretation and reasoning to enable automated verification. As such, there are plenty of design choices of policy languages for software security.

In this seminar, we will consider recent research papers on how policy languages are designed and used to express software security requirements, and on how to verify programs against given policies in an automatic way.



Last modified on 12 June 2013.

A A A | Print | Imprint | Sitemap | Contact
zum Seitenanfang