2236 search results - page 394 / 448 » Secure Software Design in Practice |
149
click to vote
COMPSAC
2010
IEEE
15 years 12 days ago
2010
IEEE
The advent of emerging technologies such as Web services, service-oriented architecture, and cloud computing has enabled us to perform business services more efficiently and effect...
122
Voted
VSTTE
2010
Springer
15 years 7 days ago
2010
Springer
Abstract. Theorem-prover based modular checkers have the potential to perform scalable and precise checking of user-defined properties by combining pathsensitive intraprocedural re...
146
Voted
SOSP
2007
ACM
15 years 11 months ago
2007
ACM
Researchers have made great strides in improving the fault tolerance of both centralized and replicated systems against arbitrary (Byzantine) faults. However, there are hard limit...
116
Voted
CIKM
2005
Springer
15 years 8 months ago
2005
Springer
XML documents are frequently used in applications such as business transactions and medical records involving sensitive information. Typically, parts of documents should be visibl...
119
Voted
IACR
2011
14 years 2 months ago
2011
Software drive encryption systems are vulnerable to memory attacks, in which an attacker gains physical accesses to the unattended computer, obtains the decryption keys from memor...