Information and Communications Security

Security Protocols.- Strong and Robust RFID Authentication Enabling Perfect Ownership Transfer.- A Robust and Secure RFID-Based Pedigree System (Short Paper).- A Topological Condition for Solving Fair Exchange in Byzantine Environments.- A Security Analysis of the Precise Time Protocol (Short Paper).- Applied Crytography.- An Identity-Based Proxy Signature Scheme from Pairings.- Finding Compact Reliable Broadcast in Unknown Fixed-Identity Networks (Short Paper).- Formal Analysis and Systematic Construction of Two-Factor Authentication Scheme (Short Paper).- Hierarchical Key Assignment for Black-Box Tracing with Efficient Ciphertext Size.- Trace-Driven Cache Attacks on AES (Short Paper).- Access Control and Systems Security.- A Construction for General and Efficient Oblivious Commitment Based Envelope Protocols.- Defining and Measuring Policy Coverage in Testing Access Control Policies.- Distributed Credential Chain Discovery in Trust Management with Parameterized Roles and Constraints (Short Paper).- An Operating System Design for the Security Architecture for Microprocessors.- Privacy and Malicious Code.- Point-Based Trust: Define How Much Privacy Is Worth.- Efficient Protocols for Privacy Preserving Matching Against Distributed Datasets.- Quantifying Information Leakage in Tree-Based Hash Protocols (Short Paper).- An Anonymous Authentication Scheme for Identification Card.- A Wireless Covert Channel on Smart Cards (Short Paper).- Network Security.- From Proxy Encryption Primitives to a Deployable Secure-Mailing-List Solution.- Mathematical Foundations for the Design of a Low-Rate DoS Attack to Iterative Servers (Short Paper).- An Independent Function-Parallel Firewall Architecture for High-Speed Networks (Short Paper).- Estimating Accuracy of Mobile-Masquerader Detection Using Worst-Case and Best-Case Scenario.- An Enhanced N-Way Exchange-Based Incentive Scheme for P2P File Sharing (Short Paper).- Systems Security.- Provably Correct Runtime Enforcement of