2081 search results - page 100 / 417 » Chaotic Systems Synchronization in Secure Communication Syst... |
116
Voted
ECOOP
2004
Springer
15 years 9 months ago
2004
Springer
Module systems are well known as a means for giving clear interfaces for the static linking of code. This paper shows how adding explicit interfaces to modules for 1) dynamic linki...
131
click to vote
TC
2008
15 years 3 months ago
2008
Synchronous systems offer clean semantics and an easy verification path at the expense of often inefficient implementations. Capturing design specifications as synchronous models a...
136
Voted
CSFW
2005
IEEE
15 years 9 months ago
2005
IEEE
This paper advocates a novel approach to the construction of secure software: controlling information flow and maintaining integrity via monadic encapsulation of effects. This ap...
139
click to vote
ATAL
2003
Springer
15 years 9 months ago
2003
Springer
Abstract. In this paper, we consider the process algebra ACPL, which models the basics of agent communication. This algebra combines the informationprocessing aspects of Concurrent...
127
Voted
ACSAC
2005
IEEE
15 years 9 months ago
2005
IEEE
Coordinating multiple overlapping defense mechat differing levels of abstraction, is fraught with the potential for misconfiguration, so there is strong motivation to generate p...