Sciweavers

5665 search results - page 186 / 1133
» Introduction to Computer Security
Sort
View
76
Voted
AINA
2005
IEEE
15 years 6 months ago
Automatic Generation of the C# Code for Security Protocols Verified with Casper/FDR
Chul-Wuk Jeon, Il-Gon Kim, Jin-Young Choi
74
Voted
ICDCSW
2000
IEEE
15 years 5 months ago
Flexible Secure Multicasting in Active Networks
Zhaoyu Liu, Roy H. Campbell, Sudha K. Varadarjan, ...
54
Voted
NDSS
1998
IEEE
15 years 4 months ago
Automated Recovery in a Secure Bootstrap Process
William A. Arbaugh, Angelos D. Keromytis, David J....