894 search results - page 107 / 179 » Secure Implementation of Channel Abstractions |
SCN
2008
Springer
13 years 9 months ago
2008
Springer
Abstract. Ethernet and IP form the basis of the vast majority of LAN installations. But these protocols do not provide comprehensive security mechanisms, and thus give way for a pl...
VMCAI
2010
Springer
14 years 6 months ago
2010
Springer
Abstract. A technique for elegantly expressing In-lined Reference Monitor (IRM) certification as model-checking is presented and implemented. In-lined Reference Monitors (IRM'...
BIOSURVEILLANCE
2007
Springer
14 years 3 months ago
2007
Springer
Abstract. Conserved regions, or motifs, present among RNA secondary structures serve as a useful indicator for predicting the functionality of the RNA molecules. Automated detectio...
ISI
2007
Springer
14 years 3 months ago
2007
Springer
Abstract—Public communication during natural and manmade disasters is a key issue that must be addressed to protect lives and properties. The choice of the best protective action...
PET
2007
Springer
14 years 3 months ago
2007
Springer
Abstract. Location privacy is of utmost concern for location-based services. It is the property that a person’s location is revealed to other entities, such as a service provider...