2575 search results - page 140 / 515 » Providing security with insecure systems |
185
click to vote
HICSS
2011
IEEE
14 years 10 months ago
2011
IEEE
We propose XTRec, a primitive that can record the instruction-level execution trace of a commodity computing system. Our primitive is resilient to compromise to provide integrity ...
152
click to vote
CISIS
2010
IEEE
16 years 1 months ago
2010
IEEE
Abstract—Security-by-Contract (S×C) is a paradigm providing security assurances for mobile applications. In this work, we present an extension of S×C enriched with an automatic...
165
click to vote
SIGECOM
2005
ACM
15 years 12 months ago
2005
ACM
Business-to-business electronic contracts provide a specification of the agreed value exchange and guarantee legal protection to companies during electronic trading relations. Imp...
203
click to vote
ITRUST
2004
Springer
15 years 11 months ago
2004
Springer
Abstract The Internet provides a ubiquitous, standards-based substrate for global communications of all kinds. Rapid advances are now being made in agreeing protocols and machine-p...
167
click to vote
ICDE
2007
IEEE
16 years 19 days ago
2007
IEEE
In a secure mediated information system, confidentiality is one of the main concerns when transmitting data from datasources to clients via a mediator. We present three approache...