615 search results - page 8 / 123 » Frameworks for Securing Limited-Device Applications |
CCS
2005
ACM
14 years 2 months ago
2005
ACM
In a reputation-based trust-management system, agents maintain information about the past behaviour of other agents. This information is used to guide future trust-based decisions...
ICSE
2009
IEEE-ACM
13 years 6 months ago
2009
IEEE-ACM
Verifying security properties of protocols requires developers to manually create protocol-specific intruder models, which could be tedious and error prone. We present Slede, a ve...
SIGCOMM
1997
ACM
14 years 23 days ago
1997
ACM
As multicast applications are deployed for mainstream use, the need to secure multicast communications will become critical. Multicast, however, does not t the point-to-point mod...
JSSPP
2005
Springer
14 years 2 months ago
2005
Springer
Real-time applications with security requirements are emerging in various areas including government, education, and business. The security sensitive real-time applications can ta...
COMPSAC
2003
IEEE
14 years 1 months ago
2003
IEEE
This paper explores how to characterise security properties of software components, and how to reason about their suitability for a trustworthy compositional contract. Our framewo...