3003 search results - page 31 / 601 » Software Security: Building Security In |
VLDB
1994
ACM
13 years 11 months ago
1994
ACM
ISJGP
2006
13 years 7 months ago
2006
JCS
2006
13 years 7 months ago
2006
The A-GDH.2 and SA-GDH.2 authenticated group key agreement
FOSSACS
2005
Springer
14 years 1 months ago
2005
Springer
Language-based and process calculi-based information security are well developed fields of computer security. Although these fields have much in common, it is somewhat surprising...
CCS
2009
ACM
14 years 2 months ago
2009
ACM
We enforce information flow policies in programs that run at multiple locations, with diverse levels of security. We build a compiler from a small imperative language with locali...