6555 search results - page 64 / 1311 » Secure attribute-based systems |
CCS
2003
ACM
14 years 2 months ago
2003
ACM
This paper continues the program initiated in [5], towards a derivation system for security protocols. The general idea is that complex protocols can be formally derived, starting...
SEC
2001
13 years 10 months ago
2001
There is a strong demand for techniques to aid development and modelling of security critical systems. Based on general security evaluation criteria, we show how to extend the syst...
PET
2012
Springer
11 years 11 months ago
2012
Springer
While Internet access to certain sites is blocked in some parts of the world, these restrictions are often circumvented using proxies outside the censored region. Often these proxi...
ACSAC
2005
IEEE
14 years 2 months ago
2005
IEEE
User-centered security has been identified as a grand challenge in information security and assurance. It is on the brink of becoming an established subdomain of both security and...
WORDS
2005
IEEE
14 years 2 months ago
2005
IEEE
A major advantage of service-based computing technology is the ability to enable rapid formation of large-scale distributed systems by composing massively available services to ac...