10674 search results - page 1820 / 2135 » The Virtual Environment - Another Approach |
144
click to vote
ICSE
2007
IEEE-ACM
16 years 6 months ago
2007
IEEE-ACM
We present a software tool and a framework for security protocol change management. While we focus on trust negotiation protocols in this paper, many of the ideas are generally ap...
177
click to vote
ICFP
2002
ACM
16 years 6 months ago
2002
ACM
This paper presents a monadic approach to incremental computation, suitable for purely functional languages such as Haskell. A program that uses incremental computation is able to...
149
click to vote
ESORICS
2002
Springer
16 years 6 months ago
2002
Springer
In recent times information flow and non-interference have become very popular concepts for expressing both integrity and privacy properties. We present the first general definitio...
155
click to vote
PERCOM
2005
ACM
16 years 6 months ago
2005
ACM
There is a recent trend toward rule-based authorization systems to achieve flexible security policies. Also, new sensing technologies in pervasive computing make it possible to de...
208
click to vote
PERCOM
2004
ACM
16 years 6 months ago
2004
ACM
: Service Discovery as an essential element in pervasive computing environments is widely accepted. Much active research on service discovery has been conducted, but privacy has be...