A Language-Based Multi-View Approach for Combining Functional and Security Models.

Hui Zhao, Frdric Mallet, Ludovic Apvrille

Browse the full APSEC paper archive.