Search Sciweavers | Sciweavers

4731 search results - page 52 / 947

» Securing Interactive Programs

click to vote

BIOSURVEILLANCE
2007
Springer

102views Security Privacy» more BIOSURVEILLANCE 2007»

Global Foot-and-Mouth Disease Surveillance Using BioPortal

14 years 2 months ago

Download biocomputingcorp.com

Abstract. The paper presents a description of the FMD BioPortal biosurveillance system (http://fmd.ucdavis.edu/bioportal/) that is currently operating to capture, analyze, and diss...

Mark Thurmond, Andrés Perez, Chunju Tseng, ...

claim paper

Read More »

click to vote

SOSP
2001
ACM

93views Operating System» more SOSP 2001»

Untrusted Hosts and Confidentiality: Secure Program Partitioning

14 years 5 months ago

Download tianyuan.org

Steve Zdancewic, Lantian Zheng, Nathaniel Nystrom,...

claim paper

Read More »

click to vote

PASTE
2005
ACM

107views Software Engineering» more PASTE 2005»

Making distributed systems secure with program analysis and transformation

14 years 2 months ago

Download groups.csail.mit.edu

Andrew C. Myers

claim paper

Read More »

click to vote

ICTCS
2003
Springer

71views Theoretical Computer Science» more ICTCS 2003»

Security-Aware Program Transformations

14 years 2 months ago

Download www.di.unipi.it

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

claim paper

Read More »

click to vote

LICS
1999
IEEE

82views Automated Reasoning» more LICS 1999»

Non-Deterministic Games and Program Analysis: An Application to Security

14 years 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers