5475 search results - page 248 / 1095 » Model Driven Security |
194
click to vote
SP
2000
IEEE
15 years 11 months ago
2000
IEEE
This position paper addresses some of the benefits and drawbacks for security of open access to source code. After a discussion of alternative models for open access to source cod...
175
click to vote
DSRT
1999
IEEE
15 years 11 months ago
1999
IEEE
The paper describes the design and implementation of a security architecture for a HLA/RTI prototype developed at ONERA/CERT. The major security objective is to protect the intell...
176
click to vote
CAISE
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. The European Space Agency (ESA) has created the Simulation Model Portability 2 (SMP2) standard with the purpose to provide a design solution for the project of Spacecraft...
204
click to vote
ESAW
2008
Springer
15 years 8 months ago
2008
Springer
The complexity of engineers tasks leads us to provide means to bring the Adaptive Multi-Agent Systems (AMAS) design to a higher stage of automation and confidence thanks to Model D...
141
click to vote
CORR
2006
Springer
15 years 6 months ago
2006
Springer
Although good encryption functions are probabilistic, most symbolic models do not capture this aspect explicitly. A typical solution, recently used to prove the soundness of such ...