1943 search results - page 178 / 389 » Web application security engineering |
113
click to vote
CSMR
2009
IEEE
15 years 10 months ago
2009
IEEE
It is important to focus on security aspects during the development cycle to deliver reliable software. However, locating security faults in complex systems is difficult and ther...
135
click to vote
COMPSAC
2011
IEEE
14 years 3 months ago
2011
IEEE
—Secure Computation (SC) enables secure distributed computation of arbitrary functions of private inputs. It has many useful applications, e.g. benchmarking or auctions. Several ...
129
click to vote
ICWE
2004
Springer
15 years 8 months ago
2004
Springer
The Semantic Web will allow software agents to understand and reason about data provided by Web applications. Unfortunately, formal ontologies, needed to express data semantics, ar...
145
click to vote
APLAS
2010
ACM
15 years 3 months ago
2010
ACM
Abstract. We propose a flexible method for verifying the security of ML programs that use cryptography and recursive data structures. Our main applications are X.509 certificate ch...
135
click to vote
EUROMICRO
2009
IEEE
15 years 7 months ago
2009
IEEE
Cloud computing uses virtualization technologies to offer a non-shared use rental of computer resources with publicly accessible worker nodes. However, unlike Grid computing, Cloud...