2575 search results - page 313 / 515 » Providing security with insecure systems |
240
click to vote
IFIPTCS
2010
15 years 5 months ago
2010
Abstract. We propose a framework for reasoning about program security building on language-theoretic and coalgebraic concepts. The behaviour of a system is viewed as a mapping from...
221
click to vote
MAGS
2008
15 years 7 months ago
2008
Process calculi are mathematical tools used for modeling and analyzing the structure and behavior of reactive systems. One such calculus, called APi-calculus (an extension to Pi-ca...
226
click to vote
WMASH
2005
ACM
16 years 24 days ago
2005
ACM
Wireless access has already become a ubiquitous way to connect to the Internet, but the mushrooming of wireless access infrastructures throughout the world has given rise to a wid...
225
click to vote
VEE
2006
ACM
16 years 1 months ago
2006
ACM
Many fault-tolerant and intrusion-tolerant systems require the ability to execute unsafe programs in a realistic environment without leaving permanent damages. Virtual machine tec...
199
click to vote
IPPS
2007
IEEE
16 years 1 months ago
2007
IEEE
With the rapid growth of computer networks and network infrastructures and increased dependency on the internet to carry out day-to-day activities, it is imperative that the compo...