392 search results - page 35 / 79 » Secure Software Engineering: A New Paradigm |
TAPSOFT
1993
Springer
14 years 2 months ago
1993
Springer
Lamping's optimalgraph reduction technique for the -calculus is generalized to a new class of higher order rewriting systems, called Interaction Systems. Interaction Systems ...
AVI
2008
14 years 7 days ago
2008
Searching for images by using low-level visual features, such as color and texture, is known to be a powerful, yet imprecise, retrieval paradigm. The same is true if search relies...
ICSE
2009
IEEE-ACM
13 years 7 months ago
2009
IEEE-ACM
The development of small wireless sensors and smart-phones, which include various sound, video, motion and location sensors have facilitated new pervasive applications. These perva...
PLDI
2006
ACM
14 years 3 months ago
2006
ACM
In this paper we propose a novel microkernel-based virtual machine (µKVM), a new code-based security framework with a simple and declarative security architecture. The main desig...
FOSSACS
2004
Springer
14 years 3 months ago
2004
Springer
Abstract. Using a probabilistic polynomial-time process calculus designed for specifying security properties as observational equivalences, we develop a form of bisimulation that j...