Sciweavers

1653 search results - page 25 / 331
» Timed analysis of security protocols
Sort
View
ICPPW
2003
IEEE
14 years 25 days ago
Security Aspects of Wireless Heterogeneous Databases - Protocol, Performance, and Energy Analysis
Users have been demanding information “anytime, anywhere”. The notion of accessing diverse and autonomous information repositories with different APIs is not accepted. This ha...
Harshal Haridas, Ali R. Hurson, Yu Jiao
ICPADS
2005
IEEE
14 years 1 months ago
An Adaptive Multiparty Protocol for Secure Data Protection
To better protect information systems, computation time data protection needs to be considered such that even when the system is partially compromised, the security of the system ...
Qingkai Ma, Liangliang Xiao, I-Ling Yen, Manghui T...
JAR
2006
63views more  JAR 2006»
13 years 7 months ago
Automated Reasoning for Security Protocol Analysis
Alessandro Armando, David A. Basin, Jorge Cu&eacut...