2513 search results - page 98 / 503 » Tamper-Tolerant Software: Modeling and Implementation |
ACSAC
2004
IEEE
14 years 2 months ago
2004
IEEE
This paper discusses the Trustworthy Computing Security Development Lifecycle (or simply the SDL), a process that Microsoft has adopted for the development of software that needs ...
FM
2003
Springer
14 years 4 months ago
2003
Springer
Software systems are often model checked by translating them into a directly model-checkable formalism. Any serious software system requires application of compositional reasoning ...
ICSE
2000
IEEE-ACM
14 years 2 months ago
2000
IEEE-ACM
This paper describes an experiment to use the Spin model checking system to support automated verification of time partitioning in the Honeywell DEOS real-time scheduling kernel. ...
APCCM
2008
14 years 19 days ago
2008
Modeling is core software engineering practice. Conceptual models are constructed to establish an abstract understanding of the domain among stakeholders. These are then refined i...
ENTCS
2008
13 years 11 months ago
2008
Integrated Development Environments supporting software and model evolution have to deal with the problem of maintaining coherence between code and model despite changes which may...