1229 search results - page 25 / 246 » Trusted Computing |
SP
2009
IEEE
14 years 2 months ago
2009
IEEE
We present a logic for reasoning about properties of secure systems. The logic is built around a concurrent programming language with constructs for modeling machines with shared ...
ICWS
2007
IEEE
13 years 9 months ago
2007
IEEE
Security enforcement framework is an important aspect of any distributed system. With new requirements imposed by SOA-based business models, adaptive security enforcement on the a...
JCP
2007
13 years 7 months ago
2007
— Every time a user conducts an electronic transaction over the Internet a wealth of personal information is revealed, either voluntarily or involuntarily. This causes serious br...
PUC
2000
13 years 7 months ago
2000
: This paper describes a framework for managing and distributing trust information in a community of mobile and wearable computer users. Trust information in the form of reputation...
WISE
2009
Springer
14 years 4 months ago
2009
Springer
Web-based environments typically span interactions between humans and software services. The management and automatic calculation of trust are among the key challenges of the futur...