Sciweavers

4126 search results - page 340 / 826
» Modelling Electronic Organizations
Sort
View
ESORICS
2000
Springer
15 years 10 months ago
Checking Secure Interactions of Smart Card Applets
Abstract. This paper presents an approach enabling a smart card issuer to verify that a new applet securely interacts with already downloaded applets. A security policy has been de...
Pierre Bieber, Jacques Cazin, Pierre Girard, Jean-...
SAFECOMP
2000
Springer
15 years 10 months ago
Derivation of Safety Targets for the Random Failure of Programmable Vehicle Based Systems
Increasingly, the dependability of vehicle based programmable systems is becoming a key feature in ensuring the safety of those in and around the vehicle. The goal of those respons...
Richard Evans, Jonathan D. Moffett
CIKM
1995
Springer
15 years 10 months ago
Learning Subjective Relevance to Facilitate Information Access
As the amount of available electronic information is dramatically increasing, the ability for rapid and e ective access to information has become critical. Most traditional inform...
James R. Chen, Nathalie Mathe
CSFW
2010
IEEE
15 years 10 months ago
Formal Verification of Privacy for RFID Systems
RFID tags are being widely employed in a variety of applications, ranging from barcode replacement to electronic passports. Their extensive use, however, in combination with their ...
Mayla Brusò, Konstantinos Chatzikokolakis, ...
DAGSTUHL
2007
15 years 8 months ago
Weighted Voronoi Region Algorithms for Political Districting
Automated political districting shares with electronic voting the aim of preventing electoral manipulation and pursuing an impartial electoral mechanism. Political districting can...
Bruno Simeone, Federica Ricca, Andrea Scozzari