956 search results - page 123 / 192 » A security framework for agent-based systems |
126
click to vote
POST
2012
13 years 5 months ago
2012
Provenance is an increasing concern due to the revolution in sharing and processing scientific data on the Web and in other computer systems. It is proposed that many computer sys...
CSFW
2006
IEEE
15 years 4 months ago
2006
IEEE
We argue that games are expressive enough to encompass (history-based) access control, (resource) usage control (e.g., dynamic adaptive access control of reputation systems), acco...
113
click to vote
CSFW
1995
IEEE
15 years 1 months ago
1995
IEEE
We discuss the issues involved in modelling and verifying key-exchange protocols within the framework of CSP and its model-checking tool FDR. Expressing such protocols within a pr...
DSN
2009
IEEE
15 years 4 months ago
2009
IEEE
Remote attestation of system integrity is an essential part of trusted computing. However, current remote attestation techniques only provide integrity proofs of static properties...
SAFECOMP
2007
Springer
15 years 4 months ago
2007
Springer
In present-day electronic systems, application subsystems from different vendors and with different criticality levels are integrated within the same hardware. Hence, encapsulati...