12637 search results - page 180 / 2528 » Security for Extensible Systems |
IASTEDSEA
2004
13 years 10 months ago
2004
: Secure distributed systems rely on secure information flow between different hosts, thus placing a heavy requirement on the underlying security protocols. In this paper, we use S...
ESORICS
1994
Springer
14 years 1 months ago
1994
Springer
This paper presents a calculus of channel security properties which allows to analyze and compare protocols for establishing secure in an insecure open network at a high level of a...
ISSRE
2007
IEEE
13 years 10 months ago
2007
IEEE
While important efforts are dedicated to system functional testing, very few works study how to test specifically security mechanisms, implementing a security policy. This paper i...
DATE
2003
IEEE
14 years 2 months ago
2003
IEEE
This paper presents an efficient methodology for estimating the energy consumption of application programs running on extensible processors. Extensible processors, which are incr...
WICSA
2001
13 years 10 months ago
2001
Software architecture research focuses on models of software architectures as specified in architecture description languages (ADLs). As research progresses in specific areas of s...