1317 search results - page 245 / 264 » A New Design for a Practical Secure Cookies System |
ZUM
1997
Springer
14 years 18 days ago
1997
Springer
We present a new formal OO method, called FOX, which is a synergetic combination of the semi-formal Fusion method and the formal speciļ¬cation language Object-Z. To manage complex...
ATAL
2006
Springer
14 years 6 days ago
2006
Springer
We report on our ongoing practical experience in designing, implementing, and deploying PTIME, a personalized agent for time management and meeting scheduling in an open, multi-ag...
EUROSYS
2010
ACM
14 years 5 months ago
2010
ACM
This paper presents a technique that helps automate the reverse engineering of device drivers. It takes a closed-source binary driver, automatically reverse engineers the driverā...
AGENTS
1998
Springer
14 years 21 days ago
1998
Springer
The New Millennium Remote Agent NMRA will be the rst AI system to control an actual spacecraft. The spacecraft domain places a strong premium on autonomy and requires dynamic reco...
ICCD
2008
IEEE
14 years 5 months ago
2008
IEEE
ā Power analysis attacks are a type of side-channel attacks that exploits the power consumption of computing devices to retrieve secret information. They are very effective in br...