5475 search results - page 133 / 1095 » Model Driven Security |
101
Voted
WSC
2004
2004
Analysis of a Customer Demand Driven Semiconductor Supply Chain in a Distributed Simulation Test Bed
15 years 2 months ago
68
Voted
ACL
1997
15 years 2 months ago
1997
This paper proposes a mistake-driven mixture method for learning a tag model. The method iteratively performs two proce
88
Voted
ACISP
2006
Springer
15 years 4 months ago
2006
Springer
Abstract. A security proof in the Bellare
CAISE
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. Information systems are vulnerable to accidental or malicious attacks. Security models for commercial computer systems exist, but information systems security is often ig...
114
Voted
FORMATS
2009
Springer
15 years 7 months ago
2009
Springer
Embedded real-time systems are typically programmed in low-level languages which provide support for event-driven task processing and real-time interrupts. We show that the model c...