3516 search results - page 95 / 704 » Integrating Security Modeling into Embedded System Design |
137
Voted
EUROMICRO
2006
IEEE
15 years 8 months ago
2006
IEEE
This paper presents the modeling paradigm for Integrated Modular Avionics Design MIMAD V0, which is an extensible component-oriented framework that enables high level models of sy...
137
click to vote
IWFM
2000
15 years 3 months ago
2000
Security services in a multi-user environment are often based on access control mechanisms. Static of an access control policy can be formalised using abstract algebraic models. W...
122
click to vote
MCS
2006
Springer
15 years 2 months ago
2006
Springer
The design of the control software for complex systems is a difficult task. It requires the modeling, the simulation, the integration and the adaptation of a multitude of intercon...
159
click to vote
CL
2007
Springer
15 years 2 months ago
2007
Springer
The CCS (Calculus of Communicating Systems) process algebra is a well-known formal model of synchronization and communication. It is used for the analysis of safety and liveness i...
140
click to vote
ICPADS
2006
IEEE
15 years 8 months ago
2006
IEEE
We developed Hi-sap, a web server system that ensures the security in a server and has high performance when processing dynamic content. In existing servers, server embedded progr...