Text this: Access control model based on trusted computing for integrated avionics system