851 search results - page 90 / 171 » Managing (Requirements) Evolutions of High Assurance Systems |
140
click to vote
WPES
2003
ACM
15 years 7 months ago
2003
ACM
Trust negotiation is an approach to establishing trust between strangers through the bilateral, iterative disclosure of digital credentials. Under automated trust negotiation, acc...
156
click to vote
ELPUB
2007
ACM
15 years 5 months ago
2007
ACM
For national advisory services in the UK (UKOLN, CETIS, and OSS Watch), varieties of openness (open source software, open standards, and open access to research publications and d...
MM
2005
ACM
15 years 7 months ago
2005
ACM
We propose IMAGINATION (IMAge Generation for INternet AuthenticaTION), a system for the generation of attack-resistant, user-friendly, image-based CAPTCHAs. In our system, we prod...
ICDIM
2007
IEEE
15 years 8 months ago
2007
IEEE
Several problems from engineering, chemistry, medicine, etc. can be formulated as a system of equations. Finding a solution for such a system sometimes requires high computational...
ECIS
2000
15 years 3 months ago
2000
We have developed a prototype electronic notary system (CYNOS : CYber NOtary System). CYNOS proves facts by providing the evidence (notary token) of events and/or actions that cou...