210 search results - page 2 / 42 » Secure Java Development with UML |
FASE
2005
Springer
13 years 11 months ago
2005
Springer
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...
UML
2005
Springer
13 years 11 months ago
2005
Springer
Analysis and design by contract allows the definition of a formal agreement between a class and its clients, expressing each party’s rights and obligations. Contracts written in ...
FM
2005
Springer
13 years 11 months ago
2005
Springer
Abstract. We present a software tool platform which facilitates security and performance analysis of systems which starts and ends with UML model descriptions. A UML project is pre...
ICSE
2007
IEEE-ACM
14 years 5 months ago
2007
IEEE-ACM
We propose a mechanism for object access control which is based on the UML. Specifically, we propose use of ownership and immutability constraints on UML associations and verifica...