Sciweavers

4731 search results - page 113 / 947
» Securing Interactive Programs
Sort
View
109
Voted
ICDE
2008
IEEE
131views Database» more  ICDE 2008»
15 years 11 months ago
PLUS: Synthesizing privacy, lineage, uncertainty and security
— Privacy, lineage, uncertainty, and security are important to many information integration efforts, and these “PLUS” properties interact in a number of complex ways. This pa...
Barbara T. Blaustein, Len Seligman, Michael Morse,...
AFRIGRAPH
2003
ACM
15 years 8 months ago
A meta-authoring tool for specifying interactions in virtual reality environments
When creating virtual reality environments a large amount of the interaction needs to be programmed. The problem with this is that non-computer expert users lack the programming s...
Zayd Hendricks, Gary Marsden, Edwin H. Blake
ACMSE
2006
ACM
15 years 10 months ago
Type inference and informative error reporting for secure information flow
If we classify the variables of a program into various security levels, then a secure information flow analysis aims to verify statically that information in the program can flo...
Zhenyue Deng, Geoffrey Smith
136
Voted
CONCUR
2009
Springer
15 years 11 months ago
Flow Policy Awareness for Distributed Mobile Code
Several programming constructs have recently been proposed with the purpose of enabling the programmer to encode declassifying information flows within a program that complies wi...
Ana Almeida Matos
135
Voted
ICISS
2009
Springer
15 years 11 months ago
A Framework for Behavior-Based Malware Analysis in the Cloud
Abstract. To ease the analysis of potentially malicious programs, dynamic behavior-based techniques have been proposed in the literature. Unfortunately, these techniques often give...
Lorenzo Martignoni, Roberto Paleari, Danilo Brusch...