2935 search results - page 88 / 587 » An Integrated Approach to High Integrity Software Verificati... |
124
click to vote
WSC
1998
15 years 5 months ago
1998
A truly integrated modeling and analysis environment, which facilitates multi-use and multi-tool models, is necessary for today's enterprises to meet the challenges of the co...
182
click to vote
SERP
2010
15 years 2 months ago
2010
We propose a formal method to automatically integrate security rules regarding an access control policy (expressed in Or-BAC) in Java programs. Given an untrusted application and a...
145
click to vote
ACSAC
2007
IEEE
15 years 10 months ago
2007
IEEE
Integrity measurements provide a means by which distributed systems can assess the trustability of potentially compromised remote hosts. However, current measurement techniques si...
146
click to vote
WWW
2006
ACM
16 years 5 months ago
2006
ACM
A social network can become bases for information infrastructure in the future. It is important to extract social networks that are not biased. Providing a simple means for users ...
126
click to vote
ATAL
2003
Springer
15 years 9 months ago
2003
Springer
This paper introduces a methodology to help the programmer in the transition from a set of desired global properties expressed as an equation-based model (EBM) that a Multi-Agent ...