3420 search results - page 80 / 684 » A Language-Based Approach to Security |
165
Voted
TRUSTBUS
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. In this paper we propose a security architecture and mechanism for Virtual Organizations (VO) for businesses. The VOs we consider are based on web service technology to a...
103
Voted
CSFW
2006
IEEE
15 years 8 months ago
2006
IEEE
The problem of information flow in multithreaded programs remains an important open challenge. Existing approaches to specifying and enforcing information-flow security often su...
112
Voted
ICSOC
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. Mashups are gaining momentum as a means to develop situational Web applications by combining different resources (services, data feeds) and user interfaces. In enterpris...
115
Voted
EUROCRYPT
2001
Springer
15 years 7 months ago
2001
Springer
Abstract. We present a formalism for the analysis of key-exchange protocols that combines previous definitional approaches and results in a definition of security that enjoys som...
144
Voted
CSREASAM
2009
15 years 3 months ago
2009
This paper presents the basics of a new paradigm that allows generators and consumers of global contextual information to determine an appropriate security level needed for contex...