The use of system security description method in security design assement: A case study | IEEE Conference Publication | IEEE Xplore