3573 search results - page 473 / 715 » Reasoning about Codata |
187
click to vote
SRDS
2006
IEEE
16 years 16 days ago
2006
IEEE
We present Cryptree, a cryptographic tree structure which facilitates access control in file systems operating on untrusted storage. Cryptree leverages the file system’s folde...
215
click to vote
ACL2
2006
ACM
16 years 15 days ago
2006
ACM
Support for congruence-based rewriting is built into ACL2. This capability allows ACL2 to treat certain predicate relations ”just like equality” under appropriate conditions a...
205
click to vote
ACL2
2006
ACM
16 years 15 days ago
2006
ACM
One of ACL2’s most interesting features is that it is executable, so users can run the programs that they verify, and debug them during verification. In fact, the ACL2 implemen...
184
click to vote
ACMMSP
2006
ACM
16 years 15 days ago
2006
ACM
Open nesting provides a loophole in the strict model of atomic transactions. Moss and Hosking suggested adapting open nesting for transactional memory, and Moss and a group at Sta...
198
click to vote
PLDI
2006
ACM
16 years 14 days ago
2006
ACM
We propose the monadic linear logic programming language LolliMon as a new foundation for the specification of distributed trust management systems, particularly the RT framework...