מאמרים עם הרשאות לגישה ציבורית - Omar Almousaלמידע נוסף
זמינים באתר כלשהו: 2
Alice and Bob: Reconciling formal models and implementation
O Almousa, S Mödersheim, L Viganò
Programming Languages with Applications to Biology and Security, 66-85, 2015
הרשאות: Government of Italy
Typing and compositionality for security protocols: A generalization to the geometric fragment
O Almousa, S Mödersheim, P Modesti, L Viganò
European Symposium on Research in Computer Security, 209-229, 2015
הרשאות: Government of Italy
המידע על הפרסום ועל הגורמים המממנים נקבע באופן אוטומטי על ידי תוכנת מחשב