1599 search results - page 184 / 320 » Program Analysis for Security and Privacy |
133
click to vote
ESOP
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. While a rigorous information flow analysis is a key step in obtaining meaningful end-to-end confidentiality guarantees, one must also permit possibilities for declassific...
113
click to vote
ISI
2004
Springer
15 years 9 months ago
2004
Springer
Malicious insiders’ difficult-to-detect activities pose serious threats to the intelligence community (IC) when these activities go undetected. A novel approach that integrates ...
175
click to vote
CCS
2008
ACM
15 years 6 months ago
2008
ACM
In wireless systems, neighbor discovery (ND) is a fundamental building block: determining which devices are within direct radio communication is an enabler for networking protocol...
123
click to vote
SP
2008
IEEE
15 years 4 months ago
2008
IEEE
f abstraction (hardware) to the highest (people). This issue's theme encompasses this entire spectrum. The lead author of each article resides in the Scalable Computing Resear...
164
click to vote
ASIAN
2009
Springer
15 years 2 months ago
2009
Springer
Abstract. Language-based information flow analysis is used to statically examine a program for information flows between objects of different security domains, and to verify these ...