2979 search results - page 227 / 596 » Modelling secure multiagent systems |
160
click to vote
HICSS
2006
IEEE
16 years 6 days ago
2006
IEEE
Technological advances in the collection, storage and analysis of data have increased the ease with which businesses can make profitable use of information about individuals. Som...
219
click to vote
ECUMN
2007
Springer
16 years 10 days ago
2007
Springer
Pervasive systems enable us to have an overview of what digital environments will look like in the future. Opportunities given by pervasive systems, both in terms of applications ...
141
click to vote
DSN
2000
IEEE
15 years 10 months ago
2000
IEEE
We describe an methodology for testing a software system for possible security flaws. Based on the observation that most security flaws are caused by the program’s inappropria...
157
click to vote
CSE
2009
IEEE
15 years 9 months ago
2009
IEEE
There are many applications for Secure Multi-Party Computation (SMC), but practical adoption is still an issue. One reason is that the business model of the application does not m...
172
click to vote
SACMAT
2006
ACM
16 years 3 days ago
2006
ACM
We present an approach for secure information flow property preserving refinement and transformation of UML inspired interaction diagrams. The approach is formally underpinned b...