8623 search results - page 191 / 1725 » Software engineering for secure systems |
TRUST
2010
Springer
14 years 2 months ago
2010
Springer
All practical software hardening schemes, as well as practical encryption schemes, e.g., AES, were not proven to be secure. One technique to enhance security is robust combiners. A...
VEE
2012
ACM
12 years 5 months ago
2012
ACM
Process-level virtualization is increasingly being used to enhance the security of software applications from reverse engineering and unauthorized modification (called software p...
POPL
2008
ACM
14 years 10 months ago
2008
ACM
In language-based security, confidentiality and integrity policies conveniently specify the permitted flows of information between different parts of a program with diverse levels...
ICSM
2006
IEEE
14 years 3 months ago
2006
IEEE
Software development, testing, and maintenance tools must yield assurance information in a standardized form. Developers can use this information to argue that the software is ade...
AMAST
2008
Springer
13 years 11 months ago
2008
Springer
The algebraic specification of information systems (including