Rapporter Kan resonnering rundt sikkerhetsarkitektur automatiseres? – en studie i sikkerhetsattributter og automatisk resonnering (2019-01-10) Grov, Gudmund, Mestl, Elsie Margrethe Staff, Mancini, Federico, Nordbotten, Nils Agne