32 search results - page 2 / 7 » RBAC MAC Security Analysis and Design for UML |
COMPSAC
2006
IEEE
13 years 11 months ago
2006
IEEE
This paper describes a pattern-based technique for systematic development of UML models of secure systems using access control. Access control is viewed and specified as a design...
ACSAC
2000
IEEE
13 years 9 months ago
2000
IEEE
This paper describes an extension of the Java language that provides “programmable security.” The approach augments the Java syntax with constructs for specifying various acce...
EPEW
2005
Springer
13 years 10 months ago
2005
Springer
We describe a UML-based method which supports model-driven development of service-oriented architectures including those used in Web services. Analysable content is extracted from ...
IJNSEC
2008
13 years 4 months ago
2008
In this paper, we investigate the issues in the analysis and design of provably secure message authentication codes (MACs) Nested MAC (NMAC) and Hash based MAC (HMAC) proposed by ...
FDL
2004
IEEE
13 years 8 months ago
2004
IEEE
In this work we develop a secure communication protocol in the context of a Remote Meter Reading (RMR) System. We first analyze existing standards in secure communication (e.g. IP...