Security-aware modeling and analysis for HW/SW partitioning