4211 search results - page 722 / 843 » A formal approach to MASQ |
177
click to vote
COMPSAC
2002
IEEE
15 years 11 months ago
2002
IEEE
UML and MSC are widely used by software practitioners. SDL is an ITU standard language for telecommunications software specification. It has a formal semantics, and is supported b...
142
click to vote
COMPSAC
2002
IEEE
15 years 11 months ago
2002
IEEE
Process-Centered Software Engineering Environments (PSEEs) deal with activities that demand limited resources. Characteristics about required resources and their dynamic availabili...
151
click to vote
CSFW
2002
IEEE
15 years 11 months ago
2002
IEEE
We introduce a general framework for reasoning about secrecy requirements in multiagent systems. Because secrecy requirements are closely connected with the knowledge of individua...
157
click to vote
EDOC
2002
IEEE
15 years 11 months ago
2002
IEEE
The main objective of the CORAS project is to provide methods and tools for precise, unambiguous, and efficient risk assessment of security critical systems. To this end, we advoc...
186
click to vote
ISCC
2002
IEEE
15 years 11 months ago
2002
IEEE
Mobile ad hoc networking offers convenient infrastructureless communication over the shared wireless channel. However, the nature of ad hoc networks makes them vulnerable to secur...