3420 search results - page 383 / 684 » A Language-Based Approach to Security |
156
click to vote
ACSAC
2005
IEEE
16 years 9 days ago
2005
IEEE
A considerable effort has been recently devoted to the development of Database Management Systems (DBMS) which guarantee high assurance security and privacy. An important componen...
171
click to vote
ISSTA
2010
ACM
15 years 10 months ago
2010
ACM
Whitebox fuzzing is a novel form of security testing based on dynamic symbolic execution and constraint solving. Over the last couple of years, whitebox fuzzers have found many ne...
198
click to vote
HICSS
2005
IEEE
16 years 8 days ago
2005
IEEE
The complex business environment requires managing business processes with the ability to adapt to changes and to collaborate in activities. Conventional workflow approaches based...
172
Voted
KBSE
2003
IEEE
15 years 12 months ago
2003
IEEE
Run-time errors are typically seen as unacceptable within safety and security critical software. The SPARK approach to the development of high integrity software addresses the pro...
178
click to vote
TIFS
2010
15 years 5 months ago
2010
This paper presents a new evolutionary approach for adaptive combination of multiple biometrics to ensure the optimal performance for the desired level of security. The adaptive c...