12478 search results - page 356 / 2496 » Secure Interaction Design |
137
click to vote
ACSAC
2001
IEEE
15 years 8 months ago
2001
IEEE
Traditional database security mechanisms are very limited in defending successful data attacks. Authorized but malicious transactions can make a database useless by impairing its ...
135
click to vote
MM
2010
ACM
15 years 5 months ago
2010
ACM
One of the most interesting issues in the field of cultural heritage is the adoption of multimedia systems for the visualization and organization of information. In this paper we ...
145
click to vote
EPEW
2005
Springer
15 years 10 months ago
2005
Springer
We describe a UML-based method which supports model-driven development of service-oriented architectures including those used in Web services. Analysable content is extracted from ...
133
click to vote
FPL
2001
Springer
15 years 9 months ago
2001
Springer
Although SRAM programmed Field Programmable Gate Arrays (FPGA's) have come to dominate the industry due to their density and performance advantages over non-volatile technolog...
153
click to vote
ISICT
2003
15 years 6 months ago
2003
: Formal verification provides a rigid and thorough means of evaluating the correctness of cryptographic protocols so that even subtle defects can be identified. As the application...