2486 search results - page 103 / 498 » A Type System for Computationally Secure Information Flow |
NBIS
2009
Springer
14 years 3 months ago
2009
Springer
- Recently, pervasive and ubiquitous computing evolved tremendously and has become an integral part of many fields. This is widely attributed to their efficiency in integrating wit...
CSREASAM
2006
13 years 10 months ago
2006
: Traditional state modeling techniques have several limitations. One of these is the reduced ability to model a large number of variables simultaneously. Another limitation is tha...
DAC
2004
ACM
14 years 9 months ago
2004
ACM
The growing number of instances of breaches in information security in the last few years has created a compelling case for efforts towards secure electronic systems. Embedded sys...
ICITA
2005
IEEE
14 years 2 months ago
2005
IEEE
Intrusion Detection Systems (IDS) have become widely used tools for ensuring system and network security. Among many other challenges, contemporary IDS have to cope with increasin...
SPC
2005
Springer
14 years 2 months ago
2005
Springer
Technological progress allows us to equip any mobile phone with new functionalities, such as storing personalized information about its owner and using the corresponding personal p...