210 search results - page 23 / 42 » Secure Java Development with UML |
ISSE
2010
13 years 8 months ago
2010
A UML model of a software system can be represented by a sequence of model transformations, starting from an empty model. To effectively support the design of complex systems, tra...
SACMAT
2010
ACM
14 years 2 months ago
2010
ACM
We propose a new approach for applying Role-Based Access Control (RBAC) to methods in objects in the Java programming language. In our approach, a policy implementer (usually a de...
ACSAC
2005
IEEE
14 years 3 months ago
2005
IEEE
Coordinating multiple overlapping defense mechat differing levels of abstraction, is fraught with the potential for misconfiguration, so there is strong motivation to generate p...
PST
2008
13 years 11 months ago
2008
In this paper we develop a security verification framework for open source software with a multi-language support. We base our approach on the GCC compiler which is considered as ...
CONCURRENCY
2002
13 years 9 months ago
2002
Computational science portals are emerging as useful and necessary interfaces for performing operations on the Grid. The Grid Portal Development Kit (GPDK) facilitates the develop...