3420 search results - page 278 / 684 » A Language-Based Approach to Security |
164
click to vote
IPTPS
2004
Springer
16 years 15 hour ago
2004
Springer
Abstract— P6P is a new, incrementally deployable networking infrastructure that resolves the growing tensions between the Internet routing infrastructure and the end sites of the...
169
click to vote
HICSS
2003
IEEE
15 years 12 months ago
2003
IEEE
Abstract—Current techniques towards information security have limited capabilities to detect and counter attacks that involve different kinds of masquerade and spread of misinfor...
172
click to vote
TLDI
2003
ACM
15 years 12 months ago
2003
ACM
We develop a logic for reasoning about adjacency and separation of memory blocks, as well as aliasing of pointers. We provide a memory model for our logic and present a sound set ...
174
click to vote
EATIS
2007
ACM
15 years 10 months ago
2007
ACM
Mobile B2E-applications (business-to-employee) can add significant value to a company's business, when large workforce divisions are involved in the execution of certain busi...
166
click to vote
CIKM
2006
Springer
15 years 10 months ago
2006
Springer
The rapid growth of transactional data brought, soon enough, into attention the need of its further exploitation. In this paper, we investigate the problem of securing sensitive k...