Sciweavers

14824 search results - page 348 / 2965
» Security - Introduction
Sort
View
CCS
2006
ACM
15 years 10 months ago
Secure information flow with random assignment and encryption
Type systems for secure information flow aim to prevent a program from leaking information from variables classified as H to variables classified as L. In this work we extend such...
Geoffrey Smith
ACSAC
2001
IEEE
15 years 10 months ago
Securing Web Servers against Insider Attack
Too often, "security of Web transactions" reduces to "encryption of the channel"--and neglects to address what happens at the server on the other end. This ove...
Shan Jiang, Sean W. Smith, Kazuhiro Minami
JMLC
2000
Springer
15 years 10 months ago
Derivation of Secure Parallel Applications by Means of Module Embedding
An enhancement to modular languages called module embedding facilitates the development and utilization of secure generic parallel algorithms.
Atanas Radenski
ASPLOS
2008
ACM
15 years 8 months ago
Parallelizing security checks on commodity hardware
Speck1 is a system that accelerates powerful security checks on commodity hardware by executing them in parallel on multiple cores. Speck provides an infrastructure that allows se...
Edmund B. Nightingale, Daniel Peek, Peter M. Chen,...
CCS
2008
ACM
15 years 8 months ago
Secure neighbor discovery in wireless networks: formal investigation of possibility
Wireless communication enables a broad spectrum of applications, ranging from commodity to tactical systems. Neighbor discovery (ND), that is, determining which devices are within...
Marcin Poturalski, Panos Papadimitratos, Jean-Pier...