Sciweavers

CSFW
2006
IEEE
13 years 11 months ago
Verified Interoperable Implementations of Security Protocols
Karthikeyan Bhargavan, Cédric Fournet, Andr...
CSFW
2006
IEEE
13 years 11 months ago
Types and Effects for Secure Service Orchestration
A distributed calculus is proposed for describing networks of services. We model service interaction through a call-by-property invocation mechanism, by specifying the security co...
Massimo Bartoletti, Pierpaolo Degano, Gian Luigi F...
CCS
2006
ACM
13 years 11 months ago
Optimizing BGP security by exploiting path stability
The Border Gateway Protocol (BGP) is the de facto interdomain routing protocol on the Internet. While the serious vulnerabilities of BGP are well known, no security solution has b...
Kevin R. B. Butler, Patrick McDaniel, William Aiel...
CRITIS
2006
13 years 11 months ago
A Framework for Conceptualizing Social Engineering Attacks
Jose J. Gonzalez, Jose Maria Sarriegi, Alazne Gurr...
CRITIS
2006
13 years 11 months ago
A Framework for Secure and Verifiable Logging in Public Communication Networks
Vassilios Stathopoulos, Panayiotis Kotzanikolaou, ...
CRITIS
2006
13 years 11 months ago
Enforcing Trust in Pervasive Computing with Trusted Computing Technology
Shiqun Li, Shane Balfe, Jianying Zhou, Kefei Chen