Sciweavers

8810 search results - page 337 / 1762
» Openness
Sort
View
ESSOS
2010
Springer
16 years 3 months ago
Formally-Based Black-Box Monitoring of Security Protocols
In the challenge of ensuring the correct behaviour of legacy implementations of security protocols, a formally-based approach is presented to design and implement monitors that sto...
Alfredo Pironti, Jan Jürjens
SP
2009
IEEE
122views Security Privacy» more  SP 2009»
16 years 1 months ago
Plaintext Recovery Attacks against SSH
This paper presents a variety of plaintext-recovering attacks against SSH. We implemented a proof of concept of our attacks against OpenSSH, where we can verifiably recover 14 bi...
Martin R. Albrecht, Kenneth G. Paterson, Gaven J. ...
NCA
2009
IEEE
16 years 1 months ago
Functional and Performance Analysis of CalRadio 1 Platform
— CalRadio 1 is an open 802.11b-compatible development platform, designed and developed at UCSD with the aim of providing the research community with an open and fully reprogramm...
Riccardo Manfrin, Andrea Zanella, Michele Zorzi
ATAL
2009
Springer
16 years 1 months ago
Operators for propagating trust and their evaluation in social networks
Trust is a crucial basis for interactions among parties in large, open systems. Yet, the scale and dynamism of such systems make it infeasible for each party to have a direct basi...
Chung-Wei Hang, Yonghong Wang, Munindar P. Singh
OSS
2009
Springer
16 years 1 months ago
Heartbeat: Measuring Active User Base and Potential User Interest in FLOSS Projects
This paper presents a novel method and algorithm to measure the size of an open source project’s user base and the level of potential user interest that it generates. Previously ...
Andrea Wiggins, James Howison, Kevin Crowston