A Formal Security Model of a Smart Card Web Server

Theoretical contributions of the project POS ´ E are the proposition of the MECA form of access control security models in concordance with the Common Criteria requirements, a

We have presented a model-driven reverse engineering approach to extract access-control policies from the diverse security configu- ration mechanisms of Java EE web applications. As