2979 search results - page 203 / 596 » Modelling secure multiagent systems |
170
click to vote
JAIR
2000
15 years 6 months ago
2000
Recently model checking representation and search techniques were shown to be efciently applicable to planning, in particular to non-deterministic planning. Such planning approach...
201
click to vote
IPAW
2010
15 years 3 months ago
2010
Abstract. Scientists increasingly rely on workflow management systems to perform large-scale computational scientific experiments. These systems often collect provenance informatio...
174
click to vote
ACSAC
2008
IEEE
16 years 28 days ago
2008
IEEE
Computer security systems protect computers and networks from unauthorized use by external agents and insiders. The similarities between computer security and the problem of prote...
162
click to vote
STORAGESS
2005
ACM
16 years 8 hour ago
2005
ACM
In this paper we describe the design for the Pvault software, which is a personal data manager that stores and retrieves data from a remote untrusted data server securely. The maj...
172
click to vote
ICDCSW
2005
IEEE
16 years 1 days ago
2005
IEEE
The core problem in risk analysis - determining exploitable paths between attackers and system assets is essentially a problem of determining information flow. It is relatively st...