Search Sciweavers | Sciweavers

1183 search results - page 16 / 237

» On flow-sensitive security types

139

click to vote

DIMVA
2006

107views Computer Networks» more DIMVA 2006»

Using Type Qualifiers to Analyze Untrusted Integers and Detecting Security Flaws in C Programs

15 years 5 months ago

Download nob.cs.ucdavis.edu

Incomplete or improper input validation is one of the major sources of security bugs in programs. While traditional approaches often focus on detecting string related buffer overfl...

Ebrima N. Ceesay, Jingmin Zhou, Michael Gertz, Kar...

claim paper

Read More »

127

Voted

HICSS
2002
IEEE

132views Biometrics» more HICSS 2002»

Secure Transmission of the Prescription Order Communication System Based on the Internet and the Public-Key Infrastructure Using

15 years 9 months ago

Download www.hicss.hawaii.edu

This research paper presents a new system's design and development of the prescription order communication system (POCS) based on the Internet between the hospital and the ph...

Won Jay Song, Byung-Ha Ahn

claim paper

Read More »

129

click to vote

CSFW
2008
IEEE

149views Security Privacy» more CSFW 2008»

A Trust Management Approach for Flexible Policy Management in Security-Typed Languages

15 years 10 months ago

Download www.cs.uiuc.edu

Early work on security-typed languages required that legal information ﬂows be deﬁned statically. More recently, techniques have been introduced that relax these assumptions a...

Sruthi Bandhakavi, William H. Winsborough, Mariann...

claim paper

Read More »

103

click to vote

FCT
2005
Springer

82views Applied Computing» more FCT 2005»

A Type System for Computationally Secure Information Flow

15 years 10 months ago