3420 search results - page 80 / 684 » A Language-Based Approach to Security |
TRUSTBUS
2007
Springer
14 years 4 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...
CSFW
2006
IEEE
14 years 4 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...
ICSOC
2009
Springer
14 years 2 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...
EUROCRYPT
2001
Springer
14 years 2 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...
CSREASAM
2009
13 years 11 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...