Alloy Community

User login

whassan

Home » User account
whassan's picture

Bio

Bio

Waël Hassan is a Phd at the University Of Ottawa.

info

Website
http://www.waelhassan.com
Name
Waël Hassan
Role
researcher
Location
Canada

History

Member for
3 years 27 weeks

Recent Activities
PublicationA relational logic approach for representing secrecy models and detecting their inconsistencies whassan1 year 40 weeks ago
PublicationSecrecy UML Method for Model Transformations whassan1 year 40 weeks ago
PublicationA Governance Requirements Extraction Model for Legal Compliance Validation whassan2 years 27 weeks ago
PublicationDetecting inconsistencies of mixed secrecy models and business policies whassan2 years 30 weeks ago
GroupUofO whassan2 years 36 weeks ago
TutorialSML tutorial whassan2 years 40 weeks ago
SoftwareSML: Secrecy Modeling Language code name silver whassan2 years 41 weeks ago
TalksPolicy-Driven Systems for Security, Privacy, and Governance: Semantic Analysis whassan2 years 42 weeks ago
TalksGovernance Policies for Privacy Access and their Interactions whassan2 years 42 weeks ago
TalksRequirements and compliance in legal systems: a logic approach whassan2 years 42 weeks ago
PublicationValidating Compliance with Privacy Legislation whassan2 years 42 weeks ago
Sample ModelsSimple Library Model whassan2 years 42 weeks ago
Forum topicAlloy Performance? whassan3 years 17 weeks ago
Forum topicVisualizing a specific Pred whassan3 years 25 weeks ago
Forum topicUtil/Boolean whassan3 years 25 weeks ago
PublicationRequirements and compliance in legal systems: a logic approach whassan3 years 26 weeks ago

Syndicate content  

The development of this site is supported by the National Science Foundation under Computing Research Infrastructure Grant No. 0707612.

Theme originally designed by Chris Herberte