8623 search results - page 116 / 1725 » Software engineering for secure systems |
ESSOS
2010
Springer
14 years 6 months ago
2010
Springer
Information flow control systems provide the guarantees that are required in today’s security-relevant systems. While the literature has produced a wealth of techniques to ensur...
VAMOS
2007
Springer
14 years 3 months ago
2007
Springer
Software products often need to vary in terms of functionality, but also in terms of quality attributes. We describe KumbangSec, which in an approach for modelling functional and ...
WOSP
2004
ACM
14 years 2 months ago
2004
ACM
In this paper we describe our experience in performance analysis of the software architecture of the NICE case study which is responsible for providing several secure communicatio...
ICST
2009
IEEE
14 years 3 months ago
2009
IEEE
In this paper, we consider typical applications in which the business logic is separated from the access control logic, implemented in an independent component, called the Policy ...
COMPSAC
2008
IEEE
14 years 3 months ago
2008
IEEE
This work introduces probabilistic model checking as a viable tool-assisted approach for systematically quantifying DoS security threats. The proposed analysis is based on a proba...