Sciweavers

2979 search results - page 191 / 596
» Modelling secure multiagent systems
Sort
View
CSFW
2012
IEEE
13 years 9 months ago
Gran: Model Checking Grsecurity RBAC Policies
—Role-based Access Control (RBAC) is one of the most widespread security mechanisms in use today. Given the growing complexity of policy languages and access control systems, ver...
Michele Bugliesi, Stefano Calzavara, Riccardo Foca...
AOSD
2010
ACM
15 years 11 months ago
A permission system for secure AOP
The integration of third-party aspects into applications creates security challenges. Due to the intrusive impact of aspects, one cannot guarantee that the dynamic composition of ...
Wouter De Borger, Bart De Win, Bert Lagaisse, Wout...
ISADS
1999
IEEE
15 years 10 months ago
A Secure Key Registration System based on Proactive Secret-Sharing Scheme
We designed a secure key registration system based on the proactive secret-sharing scheme. A user can register important data such as a session key to a distributed system in a (t...
Masayuki Numao
WONTO
2008
15 years 7 months ago
A Service-Oriented Architecture to Support Agent Reputation Models Interoperability
Agents are becoming a popular technology for the development of distributed, heterogeneous and always available systems. In those systems, interactions are essential, but semantic ...
Luis G. Nardin, Anarosa Brandão, Jaime Sim&...
SDMW
2007
Springer
16 years 17 days ago
Requirements of Secure Storage Systems for Healthcare Records
Recent compliance regulations are intended to foster and restore human trust in digital information records and, more broadly, in our businesses, hospitals, and educational enterpr...
Ragib Hasan, Marianne Winslett, Radu Sion