Sciweavers

Share
3792 search results - page 1 / 759
» Techniques for Trusted Software Engineering
Sort
View
ICSE
1998
IEEE-ACM
10 years 7 months ago
Techniques for Trusted Software Engineering
Premkumar T. Devanbu, Philip W. L. Fong, Stuart G....
ISSRE
2008
IEEE
10 years 10 months ago
Assessing the Effect of Software Failures on Trust Assumptions
The contribution of this paper is a technique to assess whether software failures during operational use can invalidate the trust assumptions and, hence, the adequacy of the softw...
Qian Feng, Robyn R. Lutz
RE
2010
Springer
9 years 11 months ago
Dependability Arguments with Trusted Bases
An approach is suggested for arguing that a system is dependable. The key idea is to structure the system so that critical requirements are localized in small, reliable subsets of ...
Eunsuk Kang, Daniel Jackson
SEFM
2003
IEEE
10 years 9 months ago
A Formal Model for Trust in Dynamic Networks
We propose a formal model of trust informed by the Global Computing scenario and focusing on the aspects of trust formation, evolution, and propagation. The model is based on a no...
Marco Carbone, Mogens Nielsen, Vladimiro Sassone
SIGSOFT
2010
ACM
10 years 2 months ago
Separation of concerns for dependable software design
For `mixed-criticality' systems that have both critical and non-critical functions, the greatest leverage on dependability may be at the design level. By designing so that ea...
Daniel Jackson, Eunsuk Kang
books