5255 search results - page 522 / 1051 » Formal Methods for Privacy |
185
click to vote
AGENTS
1999
Springer
15 years 11 months ago
1999
Springer
Uncertain and complex environments demand that an agent be able to anticipate the actions of others in order to avoid resource conflicts with them and to realize its goals. Confli...
195
click to vote
SP
1999
IEEE
15 years 11 months ago
1999
IEEE
This paper describes an expert system development toolset called the Production-Based Expert System Toolset (P-BEST) and how it is employed in the development of a modern generic ...
213
click to vote
SP
1999
IEEE
15 years 11 months ago
1999
IEEE
There is often the need to update an installed Intrusion Detection System (IDS) due to new attack methods or upgraded computing environments. Since many current IDSs are construct...
217
click to vote
ACSAC
1998
IEEE
15 years 11 months ago
1998
IEEE
The ubiquity of the Internet connection to desktops has been both boon to business as well as cause for concern for the security of digital assets that may be unknowingly exposed....
188
click to vote
CSFW
1998
IEEE
15 years 11 months ago
1998
IEEE
Model checkers such as FDR have been extremely e ective in checking for, and nding, attacks on cryptographic protocols { see, for example 11, 12, 14] and many of the papers in 3]....