8623 search results - page 120 / 1725 » Software engineering for secure systems |
FSTTCS
2007
Springer
14 years 3 months ago
2007
Springer
Type systems for secure information flow aim to prevent a program from leaking information from variables that hold secret data to variables that hold public data. In this work we...
HASE
2007
IEEE
14 years 3 months ago
2007
IEEE
HICSS
2005
IEEE
14 years 2 months ago
2005
IEEE
ICSM
2002
IEEE
14 years 2 months ago
2002
IEEE
Unregulated evolution of software often leads to software ageing which not only makes the product difficult to maintain but also breaks the consistency between design and impleme...
EUROSYS
2008
ACM
14 years 6 months ago
2008
ACM