Formal models for computer security
عمارة الكمبيوتر ولغة التجميع