5475 search results - page 131 / 1095 » Model Driven Security |
130
Voted
FASE
2003
Springer
15 years 6 months ago
2003
Springer
Abstract. The OMG’s Model-Driven Architecture focusses on the evolution and integration of applications across heterogeneous middleware platforms. Presently available instances o...
123
Voted
AMS
2007
Springer
15 years 7 months ago
2007
Springer
Abstract Walking, running and hopping are based on self-stabilizing oscillatory activity. In contrast, aiming movements serve to direct a limb to a desired location and demand a qu...
83
Voted
JCS
2002
15 years 13 days ago
2002
We present two generic formal security models for operating systems of multiapplicative smart cards. The models formalize the main security aspects of secrecy, integrity, secure co...
IJACT
2008
15 years 23 days ago
2008
: Certificateless cryptography is a promising technology for solving the key escrow problem in identity-based cryptography. However, the lack of a unified set of definitions and se...
83
Voted
FASE
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. In this paper we present a novel approach for the predicative specification of user rights in the context of an object oriented use case driven development process. We e...