Sciweavers

5475 search results - page 315 / 1095
» Model Driven Security
Sort
View
ESORICS
2004
Springer
16 years 2 days ago
A Vector Model of Trust for Developing Trustworthy Systems
All security services rely to a great extent on some notion of trust. However, even today, there is no accepted formalism or technique for the specification of trust and for reaso...
Indrajit Ray, Sudip Chakraborty
ICICS
2003
Springer
15 years 12 months ago
A Novel Two-Level Trust Model for Grid
Abstract. Trust is hard to establish in a service-oriented grid architecture because of the need to support end user single sign-on and dynamic transient service. In order to enhan...
Tieyan Li, Huafei Zhu, Kwok-Yan Lam
ATAL
2010
Springer
15 years 7 months ago
Model checking detectability of attacks in multiagent systems
Information security is vital to many multiagent system applications. In this paper we formalise the notion of detectability of attacks in a MAS setting and analyse its applicabil...
Ioana Boureanu, Mika Cohen, Alessio Lomuscio
PERCOM
2007
ACM
16 years 6 months ago
Managing an Integrated Ubicomp Environment Using Ontologies and Reasoning
One issue hindering the deployment of integrated ubicomp environments is the lack of a shared model for applications to utilize resources across administrative and network domains...
Michael Blackstock, Rodger Lea, Charles Krasic
SAMOS
2005
Springer
16 years 5 days ago
Micro-architecture Performance Estimation by Formula
An analytical performance model for out of order issue superscalar micro-processors is presented. This model quantifies the performance impacts of micro-architecture design option...
Lucanus J. Simonson, Lei He