1466 search results - page 48 / 294 » Completeness of the Authentication Tests |
ESORICS
2009
Springer
14 years 9 months ago
2009
Springer
Abstract. Many protocols rely on audit trails to allow an impartial judge to verify a posteriori some property of a protocol run. However, in current practice the choice of what da...
GECCO
2005
Springer
14 years 1 months ago
2005
Springer
White-box testing is an important method for the early detection of errors during software development. In this process test case generation plays a crucial role, defining appropr...
AAAI
1997
13 years 9 months ago
1997
Often a rule-based system is tested by checking its performance on a number of test cases with known solutions, modifying the system until it gives the correct results for all or ...
ICMCS
2005
IEEE
14 years 1 months ago
2005
IEEE
A complete MPEG-4 stream consists of many elementary streams which may be generated by different authors. In the scenario of this paper, each author signs his own authentic elemen...
LISA
2000
13 years 9 months ago
2000
Here we describe Pelendur, a system for the management of common system operation tasks. Specifically, Pelendur focuses on the management of user accounts and related information ...