191 search results - page 6 / 39 » Building Intrusion-Tolerant Secure Software |
CCS
2008
ACM
13 years 9 months ago
2008
ACM
We introduce a new practical mechanism for remote data storage with efficient access pattern privacy and correctness. A storage client can deploy this mechanism to issue encrypted...
OOPSLA
1999
Springer
14 years 5 days ago
1999
Springer
The Advanced Teaching and Learning Academic Server (Atlas) is a software system that supports web-based learning. Students can register for courses, and can navigate through perso...
SP
2002
IEEE
13 years 7 months ago
2002
IEEE
Software development is getting more and more complex, especially within distributed middleware-based environments. A major drawback during the overall software development proces...
CCS
2005
ACM
14 years 1 months ago
2005
ACM
Large-scale attacks, such as those launched by worms and zombie farms, pose a serious threat to our network-centric society. Existing approaches such as software patches are simpl...
KBSE
2005
IEEE
14 years 1 months ago
2005
IEEE
This paper presents a formal approach to threat-driven modeling and verification of secure software using aspect-oriented Petri nets. Based on the behavior model of intended funct...