Sciweavers

6555 search results - page 73 / 1311
» Secure attribute-based systems
Sort
View
ICSE
2008
IEEE-ACM
14 years 9 months ago
Developing a security protocol for a distributed decision support system in a healthcare environment
In this paper, we describe the unique security issues involved in healthcare domains. These have been addressed to the needs of the HealthAgents project. In the proposed approach,...
Liang Xiao 0002, Paul H. Lewis, Alex Gibb
OOPSLA
2004
Springer
14 years 2 months ago
Dependable distributed systems
Alexander Szep, Robert Smeikal, Martin Jandl, Karl...
SAFECOMP
2004
Springer
14 years 2 months ago
A Hybrid Testing Methodology for Railway Control Systems
Giuseppe De Nicola, Pasquale di Tommaso, Rosaria E...
CSFW
1999
IEEE
14 years 1 months ago
I/O Automaton Models and Proofs for Shared-Key Communication Systems
The combination of two security protocols, a simple shared-key communication protocol and the Di e-Hellman key distribution protocol, is modeled formally and proved correct. The m...
Nancy A. Lynch
CSREASAM
2009
13 years 6 months ago
A Secure Certificate for Secure Group Communication
- Security is a primary concern in group communication, and secure authentication is essential to establishing a secure group communication. Most conventional authentications consi...
Sunghyuck Hong