6555 search results - page 69 / 1311 » Secure attribute-based systems |
DGO
2003
13 years 10 months ago
2003
Software for encrypting email messages has been widely available for more than 15 years, but the emailusing public has failed to adopt secure messaging. This failure can be explai...
HASE
2008
IEEE
14 years 3 months ago
2008
IEEE
—Formal methods provide remarkable tools allowing for high levels of confidence in the correctness of developments. Their use is therefore encouraged, when not required, for the...
HICSS
2003
IEEE
14 years 2 months ago
2003
IEEE
Internet security is of utmost importance in today's e-commerce environment. Many different avenues are being taken in an attempt to secure the systems of both the end user a...
HICSS
1998
IEEE
14 years 1 months ago
1998
IEEE
Secure system design, veri cation and validation is often a daunting task, involving the merger of various protection mechanisms in conjunction with system security policy and con...
DRM
2004
Springer
14 years 2 months ago
2004
Springer
Recently, there is a growing interest in the research community to use tamper-resistant processors for software copy protection. Many of these tamper-resistant systems rely on a s...