653 search results - page 93 / 131 » A Logic of Secure Systems and its Application to Trusted Com... |
FC
2010
Springer
14 years 1 months ago
2010
Springer
A key way in which banks mitigate the effects of phishing is to remove fraudulent websites or suspend abusive domain names. This ‘take-down’ is often subcontracted to special...
WWW
2007
ACM
14 years 9 months ago
2007
ACM
Web sites that accept and display content such as wiki articles or comments typically filter the content to prevent injected script code from running in browsers that view the sit...
FM
2006
Springer
14 years 24 days ago
2006
Springer
Security-critical systems are an important application area for formal methods. However, such systems often contain cryptographic subsystems. The natural definitions of these subsy...
FAABS
2000
Springer
14 years 22 days ago
2000
Springer
Much work in the field of agent-based systems has tended to focus on either the development of practical applications of agent systems on the one hand, or the development of sophis...
ISSS
1995
IEEE
14 years 21 days ago
1995
IEEE
Designers of embedded systems are facing ever tighter constraintson design time, but computer aided design tools for embedded systems have not kept pace with these trends. The Chi...