276 search results - page 8 / 56 » Security in Context: Analysis and Refinement of Software Arc... |
FORTE
2004
15 years 1 months ago
2004
Software Model-Checking and Testing are some of the most used techniques to analyze software systems and identify hidden faults. While software model-checking allows for an exhaust...
APSEC
2006
IEEE
15 years 5 months ago
2006
IEEE
This paper introduces a framework for security-oriented software service composition and evolution. Key building blocks of the framework are a semantic model for specifying the se...
102
Voted
CORR
2008
Springer
14 years 11 months ago
2008
Springer
: Performing dependability evaluation along with other analyses at architectural level allows both making architectural tradeoffs and predicting the effects of architectural decisi...
SE
2008
15 years 1 months ago
2008
: In many of today's application programs, security functionality is inseparably intertwined with the actual mission-purpose logic. As a result, the trusted code base is unnec...
89
Voted
SIGSOFT
2005
ACM
16 years 10 days ago
2005
ACM
Charmy is a framework for designing and validating architectural specifications. In the early stages of the software development process, the Charmy framework assists the software...