848 search results - page 33 / 170 » Secure Information Flow for Distributed Systems |
POPL
2006
ACM
14 years 7 months ago
2006
ACM
This article investigates formal properties of a family of semantically sound flow-sensitive type systems for tracking information flow in simple While programs. The family is ind...
ACSAC
2009
IEEE
13 years 11 months ago
2009
IEEE
Audit logs, providing information about the current and past states of systems, are one of the most important parts of modern computer systems. Providing security for audit logs on...
ESCIENCE
2007
IEEE
13 years 11 months ago
2007
IEEE
Scientific workflows have recently emerged as a new paradigm for representing and managing complex distributed scientific computations and data analysis, and have enabled and acce...
IEEEIAS
2008
IEEE
14 years 1 months ago
2008
IEEE
: This paper focuses on the different challenges to design a security typed web scripting language. It uses the type system approach on a simple imperative language that captures a...
CIKM
2010
Springer
13 years 5 months ago
2010
Springer
Cloud security issues have recently gained traction in the research community, with much of the focus primarily concentrated on securing the operating systems and virtual machines...