5475 search results - page 365 / 1095 » Model Driven Security |
268
click to vote
SERVICES
2010
15 years 1 months ago
2010
In this paper we discuss the evolvement of cloud computing paradigm and present a framework for secure cloud computing through IT auditing. Our approach is to establish a general ...
175
click to vote
ECEASST
2006
15 years 6 months ago
2006
Abstract. The Eclipse Modeling Framework (EMF) provides a modeling and code generation framework for Eclipse applications based on structured data models. Within model driven softw...
196
click to vote
EMSOFT
2004
Springer
16 years 4 days ago
2004
Springer
Embedded devices like smart cards can now run multiple interacting applications. A particular challenge in this domain is to dynamically integrate diverse security policies. In th...
218
click to vote
DBSEC
1996
15 years 8 months ago
1996
High assurance security is di cult to achieve in distributed computer systems and databases because of their complexity, non-determinism and inherent heterogeneity. The practical ...
181
click to vote
IJISEC
2007
15 years 6 months ago
2007
Abstract. We examine the popular proof models for group key establishment of Bresson et al. [BCPQ01,BCP01] and point out missing security properties addressing malicious protocol p...