3821 search results - page 542 / 765 » A Security Model for Aglets |
163
click to vote
OOPSLA
2007
Springer
16 years 23 days ago
2007
Springer
We present the TIC (Transactions with Isolation and Cooperation) model for concurrent programming. TIC adds to standard transactional memory the ability for a transaction to obser...
174
click to vote
CORR
2004
Springer
15 years 6 months ago
2004
Springer
A growing body of literature in networked systems research relies on game theory and mechanism design to model and address the potential lack of cooperation between self-intereste...
193
click to vote
ECUMN
2007
Springer
16 years 25 days ago
2007
Springer
Context-based access control is an emerging approach for modeling adaptive solution, making access control management more flexible and powerful. But in the ubiquitous environment...
174
Voted
ICTAC
2005
Springer
16 years 4 days ago
2005
Springer
Rewriting logic is a simple computational logic very well suited as a semantic framework within which many different models of computation, systems and languages can be naturally ...
167
click to vote
ISW
2005
Springer
16 years 4 days ago
2005
Springer
Abstract. We present a universally composable time-stamping scheme based on universal one-way hash functions. The model we use contains an ideal auditing functionality (implementab...