6137 search results - page 745 / 1228 » Securing Collaborative Applications |
168
click to vote
ACSAC
2000
IEEE
16 years 4 days ago
2000
IEEE
Although there have been various proposals to build large-scale PKIs, there appears to be no research publicly available on the underlying certificate store which will be required...
205
Voted
ACSAC
2000
IEEE
16 years 4 days ago
2000
IEEE
Recent work has shown that conventional operating system audit trails are insufficient to detect low-level network attacks. Because audit trails are typically based upon system c...
191
click to vote
AGENTS
2000
Springer
16 years 2 days ago
2000
Springer
This paper suggests formal frameworks that can be used as the basis for defining, reasoning about, and verifying properties of agent systems. The language, Little-JIL is graphical...
226
Voted
ACSAC
1999
IEEE
16 years 1 days ago
1999
IEEE
A smart card runtime environment must provide the proper transaction support for the reliable update of data, especially on multiapplication cards like the Java Card. The transact...
184
click to vote
HPDC
1999
IEEE
16 years 16 hour ago
1999
IEEE
Seamless access to different systems of different vendors at different sites is an important prerequisite to effective and efficient use of distributed resources. Learning about n...