Maia: A Language for Mandatory Integrity Controls of Structured Data. - Wassnaa Al-Mawee; Paul J. Bonamy; Steve Carr 001; Jean Mayo (ICISSP, 2019)