RED-Transaction and Goal-Model Based Analysis of Layered Security of Physical Spaces | IEEE Conference Publication | IEEE Xplore