23 search results - page 1 / 5 » Towards agile security assurance |
NSPW
2004
ACM
13 years 10 months ago
2004
ACM
Agile development methodologies are gaining acceptance in the software industry. If they are to be used for constructing securitycritical solutions, what do we do about assurance?...
CCS
2007
ACM
13 years 10 months ago
2007
ACM
Systematic approaches to measuring security are needed in order to obtain evidence of the security performance of products or an organization. In this study we survey the emerging...
SP
2008
IEEE
13 years 11 months ago
2008
IEEE
Civitas is the first electronic voting system that is coercion-resistant, universally and voter verifiable, and suitable for remote voting. This paper describes the design and i...
ISSE
2010
2010
An approach to applying SOFL for agile process and its application in developing a test support tool
13 years 3 months ago
Structured Object-Oriented Formal Language (SOFL) is a representative formal engineering method for software development. It offers a three-step specification approachtoconstructi...
IJMI
2002
13 years 4 months ago
2002
In this paper we present a complete reference framework for the provision of quality assured Trusted Third Party (TTP) services within a medical environment. The main objective is...