5475 search results - page 758 / 1095 » Model Driven Security |
170
click to vote
SAFECOMP
2007
Springer
16 years 23 days ago
2007
Springer
With the rapid progress in science and technology, we find ubiquitous use of safety-critical systems in avionics, consumer electronics, and medical instruments. In such systems, u...
183
click to vote
WOSP
2005
ACM
16 years 6 days ago
2005
ACM
Evaluation of non-functional properties of a design (such as performance, dependability, security, etc.) can be enabled by design annotations specific to the property to be evalua...
200
click to vote
SEC
1996
15 years 8 months ago
1996
This paper introduces and describes an innovative modelling approach which utilises models that are synthesised through approximate calculations of user actions and extensive repr...
194
click to vote
WWW
2006
ACM
16 years 7 months ago
2006
ACM
Today, the Web is increasingly used as a platform for distributed services, which transcend organizational boundaries to form federated applications. Consequently, there is a grow...
145
click to vote
ASIACRYPT
2007
Springer
16 years 25 days ago
2007
Springer
We consider a new model for online secure computation on encrypted inputs in the presence of malicious adversaries. The inputs are independent of the circuit computed in the sense ...