Frédéric Cuppens
Computer Engineering and Software Engineering, Polytechnique Montreal, Montreal, Quebec, Canada.
HomePage
Research Interests
Computer security, Including definition of formal models of security policies, Access control to network and information systems, Intrusion detection, Reaction and countermeasures, Formal techniques to refine security policies and prove security properties
Contributions:
