Analyzing Access Control logic in the Android Automotive Framework