209 search results - page 21 / 42 » Towards a Systematic Development of Secure Systems |
COMPSAC
2009
IEEE
14 years 3 months ago
2009
IEEE
With the ongoing trend towards the globalization of software systems and their development, components in these systems might not only work together, but may end up evolving indep...
ISLPED
2003
ACM
14 years 1 months ago
2003
ACM
Security is critical to a wide range of wireless data applications and services. While several security mechanisms and protocols have been developed in the context of the wired In...
POPL
2002
ACM
14 years 9 months ago
2002
ACM
Some compilation systems, such as offline partial evaluators and selective dynamic compilation systems, support staged optimizations. A staged optimization is one where a logicall...
CRITIS
2007
13 years 10 months ago
2007
The transformation of the European infrastructure creates considerable system security challenges. GRID is a joint effort of six European research organizations to achieve consensu...
CSFW
2012
IEEE
11 years 11 months ago
2012
IEEE
—Tracking information flow in dynamic languages remains an important and intricate problem. This paper makes substantial headway toward understanding the main challenges and res...