2513 search results - page 177 / 503 » Tamper-Tolerant Software: Modeling and Implementation |
135
click to vote
SCAM
2008
IEEE
15 years 11 months ago
2008
IEEE
Ensuring the correctness and reliability of software systems is one of the main problems in software development. Model checking, a static analysis method, is preponderant in impr...
139
click to vote
HICSS
2007
IEEE
15 years 11 months ago
2007
IEEE
— The UML is a collection of 13 diagram notations to describe different views of a software system. The existing diagram types display model elements and their relations. Softwar...
116
click to vote
VMCAI
2010
Springer
16 years 1 months ago
2010
Springer
Abstract. A technique for elegantly expressing In-lined Reference Monitor (IRM) certification as model-checking is presented and implemented. In-lined Reference Monitors (IRM'...
141
click to vote
IRI
2006
IEEE
15 years 10 months ago
2006
IEEE
Safeguarding practices for networked systems involves decisions in at least three areas: identification of welldefined security policies, selection of cost-effective defense strat...
135
click to vote
ISSTA
2004
ACM
15 years 10 months ago
2004
ACM
Software process and workflow languages are increasingly used to define loosely-coupled systems of systems. These languages focus on coordination issues such as data flow and c...