19003 search results - page 207 / 3801 » We Need Assurance! |
ACL2
2006
ACM
14 years 4 months ago
2006
ACM
A verifying compiler is one that emits both object code and a proof of correspondence between object and source code.1 We report the use of ACL2 in building a verifying compiler f...
ACSAC
2005
IEEE
14 years 4 months ago
2005
IEEE
A considerable effort has been recently devoted to the development of Database Management Systems (DBMS) which guarantee high assurance security and privacy. An important componen...
EMSOFT
2005
Springer
14 years 4 months ago
2005
Springer
Passive monitoring or testing of complex systems and networks running in the field can provide valuable insights into their behavior in actual environments of use. In certain con...
WPES
2004
ACM
14 years 4 months ago
2004
ACM
The number of location-aware mobile devices has been rising for several years. As this trend continues, these devices may be able to use their location information to provide inte...
WPES
2003
ACM
14 years 4 months ago
2003
ACM
Trust negotiation is an approach to establishing trust between strangers through the bilateral, iterative disclosure of digital credentials. Under automated trust negotiation, acc...