113 search results - page 6 / 23 » Computing the Leakage of Information-Hiding Systems |
SERP
2004
14 years 7 days ago
2004
David Parnas wrote several papers in the 1970's and 1980's that are now considered classics. The concepts he advocated such as information hiding and bstract interfaces ...
ECOOPW
1999
Springer
14 years 3 months ago
1999
Springer
The GOODLY language can be used to specify the design of systems built according to the Object Oriented paradigm. It was conceived with the main purpose of facilitating the extrac...
IFIPTCS
2010
13 years 8 months ago
2010
Abstract. We propose a framework for reasoning about program security building on language-theoretic and coalgebraic concepts. The behaviour of a system is viewed as a mapping from...
ICASSP
2011
IEEE
13 years 2 months ago
2011
IEEE
A rechargeable battery may be used to partially protect the privacy of information contained in a household’s electrical load profile. We represent the system as a finite stat...
EUC
2006
Springer
14 years 2 months ago
2006
Springer
- Modern portable or embedded systems support more and more complex applications. These applications make embedded devices require not only low powerconsumption, but also high comp...