653 search results - page 82 / 131 » A Logic of Secure Systems and its Application to Trusted Com... |
NDSS
2003
IEEE
14 years 2 months ago
2003
IEEE
Everyday network interactions require users to give out their email address, yet no guarantees can be made about how this address will be used. Sometimes the address is given to a...
WWW
2008
ACM
14 years 9 months ago
2008
ACM
In this paper, client-site Web mashups are studied from component-oriented perspective, and CompoWeb, a componentoriented Web architecture, is proposed. In CompoWeb, a Web applica...
SAC
2009
ACM
14 years 1 months ago
2009
ACM
The firmware of an electronic voting machine is typically treated as a “trusted” component of the system. Consequently, it is misconstrued to be vulnerable only to an insider...
UIALL
2004
Springer
14 years 2 months ago
2004
Springer
At present, various types of car navigation systems are progressively entering the market. Simultaneously, mobile outdoor navigation systems for pedestrians and electronic tourist ...
IEEEARES
2006
IEEE
14 years 3 months ago
2006
IEEE
A hybrid Bayesian Network (BN) is one that incorporates both discrete and continuous nodes. In our extensive applications of BNs for system dependability assessment the models are...