1833 search results - page 14 / 367 » Mechanized Verification with Sharing |
Lecture Notes
Survey Chapters on Mechanism Design and Electronic Markets, Shared by David Parkes
FMCAD
2008
Springer
14 years 13 days ago
2008
Springer
We present a method for verifying information flow properties of software programs using inductive assertions and theorem proving. Given a program annotated with information flow a...
CCS
2008
ACM
14 years 27 days ago
2008
ACM
Usage control is a generalization of access control that also addresses how data is used after it is released. We present a formal model for different mechanisms that can enforce ...
APSCC
2006
IEEE
14 years 26 days ago
2006
IEEE
Detecting intrusions at host level is vital to protecting shared resources in grid, but traditional Host-based Intrusion Detecting System (HIDS) is not suitable for grid environme...
ICISC
2004
14 years 8 days ago
2004
An identity (ID)-based signature scheme allows any pair of users to verify each other's signatures without exchanging public key certificates. With the advent of Bilinear maps...