293 search results - page 31 / 59 » Formal Security Analysis with Interacting State Machines |
250
click to vote
ICDE
2006
IEEE
16 years 6 months ago
2006
IEEE
We present a secure network service for sovereign information sharing whose only trusted component is an off-theshelf secure coprocessor. The participating data providers send enc...
166
click to vote
ROBOCUP
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. This paper shows how multiagent systems can be modeled by a combination of UML statecharts and hybrid automata. This allows formal system cation on different levels of ab...
131
click to vote
CADE
2008
Springer
16 years 5 months ago
2008
Springer
Confidentiality is maybe the most popular security property to be formally or informally verified. Noninterference is a baseline security policy to formalize confidentiality of sec...
118
click to vote
JLP
2010
15 years 8 days ago
2010
Model programs are high-level behavioral specifications used for software testing and design analysis. Composition of model programs is a versatile technique that, at one end of t...
146
click to vote
TROB
2002
15 years 5 months ago
2002
Reconfigurable software is highly desired for automated machine tool control systems for low-cost products and short time to market. In this paper, we propose a software architectu...