11603 search results - page 633 / 2321 » Securing Embedded Systems |
192
click to vote
ENTCS
2010
15 years 7 months ago
2010
Interface automata are a model that allows for the representation of stateful interfaces. In this paper we introduce a variant of interface automata, which we call interface struc...
243
click to vote
KES
2008
Springer
15 years 7 months ago
2008
Springer
Abstract. We present a method for mapping security levels among the components of a distributed system where data in the local sources are represented in XML. Distributed data is i...
176
click to vote
COMPSEC
2004
15 years 7 months ago
2004
Computer security has traditionally been assessed from a technical point of view. Another way to assess it is by investigating the role played by legitimate users of systems in imp...
208
click to vote
TRUSTBUS
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. Current challenges on the markets cause companies to interact with one another and strive after becoming members of virtual organizations assuming that in doing so they c...
326
click to vote
POPL
2005
ACM
16 years 7 months ago
2005
ACM
In traditional information-flow type systems, the security policy is often formalized as noninterference properties. However, noninterference alone is too strong to express securi...