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
