Presenter: Li Yang School of Computer Science Florida International University Security Specification and Enforcement in Mediation Systems.