902 search results - page 72 / 181 » Security and Trust Requirements Engineering |
APSEC
2003
IEEE
15 years 3 months ago
2003
IEEE
Despite a growing awareness of security issues in networked computing systems, most development processes used today still do not take security aspects into account. To address th...
COMPSAC
2003
IEEE
15 years 3 months ago
2003
IEEE
This paper explores how to characterise security properties of software components, and how to reason about their suitability for a trustworthy compositional contract. Our framewo...
TAPSOFT
1997
Springer
15 years 1 months ago
1997
Springer
This paper presents a type system which guarantees that well-typed programs in a procedural programming language satisfy a noninterference security property. With all program input...
EUROMICRO
2004
IEEE
15 years 1 months ago
2004
IEEE
Today, security is recognized as an absolute need in application development. Programming environments offer mechanisms and concepts allowing an easy integration of security mecha...
EUROPKI
2007
Springer
15 years 4 months ago
2007
Springer
An undeniable mobile billing system allows a mobile network service provider to bill its subscribers with trustworthy evidences. Chen, Jan and Chen proposed such a billing system b...