Modeling and generation of secure component communications in AUTOSAR