5722 search results - page 628 / 1145 » Security Function Interactions |
216
click to vote
ICSE
1999
IEEE-ACM
15 years 11 months ago
1999
IEEE-ACM
Formal verification methods are used only sparingly in software development. The most successful methods to date are based on the use of model checking tools. To use such he user ...
202
click to vote
DRM
2006
Springer
15 years 11 months ago
2006
Springer
Through legislation and technology the film industry has been seeking to fully control usage of the bits it creates; their model is "restrictive" digital-rights manageme...
173
click to vote
DIM
2008
ACM
15 years 9 months ago
2008
ACM
The secure release of identity attributes is a key enabler for electronic business interactions. In particular, integrity and confidentiality of identity attributes are two key re...
219
click to vote
APVIS
2008
15 years 8 months ago
2008
The widespread use of mobile devices brings opportunities to capture large-scale, continuous information about human behavior. Mobile data has tremendous value, leading to busines...
174
click to vote
HCI
2007
15 years 8 months ago
2007
The mobile phone has become one of the essential objects that people carry when they leave home. By conducting a series of street interviews in 11 cities on 4 continents, we attemp...