Search Sciweavers | Sciweavers

5665 search results - page 197 / 1133

» Introduction to Computer Security

click to vote

ICSOC
2003
Springer

80views Applied Computing» more ICSOC 2003»

Secure Service Provision in Ad Hoc Networks

15 years 7 months ago

Download formal.cs.uiuc.edu

Radu Handorean, Gruia-Catalin Roman

claim paper

Read More »

click to vote

ICTCS
2003
Springer

71views Theoretical Computer Science» more ICTCS 2003»

Security-Aware Program Transformations

15 years 7 months ago

Download www.di.unipi.it

Massimo Bartoletti, Pierpaolo Degano, Gian Luigi F...

claim paper

Read More »

click to vote

ICTCS
2003
Springer

71views Theoretical Computer Science» more ICTCS 2003»

Compositional Verification of Secure Streamed Data: A Case Study with EMSS

15 years 7 months ago

Download wwwold.iit.cnr.it

Fabio Martinelli, Marinella Petrocchi, Anna Vaccar...

claim paper

Read More »

click to vote

IWCMC
2010
ACM

234views Computer Networks» more IWCMC 2010»

Securing RDS broadcast messages for smart grid applications

15 years 7 months ago

Download kunz-pc.sce.carleton.ca

Monageng Kgwadi, Thomas Kunz

claim paper

Read More »

Voted

CACM
2010

87views more CACM 2010»

Security in the cloud

14 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers