Sciweavers

Share
warning: Creating default object from empty value in /var/www/modules/taxonomy/taxonomy.module on line 1416.
IFIP
2010
Springer
9 years 9 months ago
Information Flow Analysis via Path Condition Refinement
We present a new approach to information flow control (IFC), ploits counterexample-guided abstraction refinement (CEGAR) technology. The CEGAR process is built on top of our existi...
Mana Taghdiri, Gregor Snelting, Carsten Sinz
IFIP
2010
Springer
9 years 9 months ago
Semantics of Trust
This paper formalizes the semantics of trust and studies the transitivity of trust. On the Web, people and software agents have to interact with "strangers". This makes ...
Tim Muller
IFIP
2010
Springer
9 years 9 months ago
Foundations of Attack-Defense Trees
We introduce and give formal definitions of attack
Barbara Kordy, Sjouke Mauw, Sasa Radomirovic, Patr...
IFIP
2010
Springer
9 years 9 months ago
A Calculus for the Analysis of Wireless Network Security Protocols
We propose a timed broadcasting calculus for wireless systems. The operational semantics of our calculus is given both in terms of a Reduction Semantics and in terms of a Labelled ...
Francesco Ballardin, Massimo Merro
IFIP
2010
Springer
9 years 9 months ago
Efficient Decision Procedures for Message Deducibility and Static Equivalence
Abstract. We consider two standard notions in formal security protocol analysis: message deducibility and static equivalence under equational theories. We present polynomial-time a...
Bruno Conchinha, David A. Basin, Carlos Caleiro
IFIP
2010
Springer
9 years 9 months ago
AnBx - Security Protocols Design and Verification
Michele Bugliesi, Paolo Modesti
IFIP
2010
Springer
9 years 12 months ago
Drivers of B2B Software Purchase Decisions
. Organizations are increasingly turning to large, enterprise-wide software systems as potential solutions to managing complex business-to-business (B2B) relationships. These syste...
Claudia Loebbecke, Thomas Weiss, Philip Powell, Ch...
IFIP
2010
Springer
9 years 12 months ago
Supporting DSS Acceptability through a User-Centered Design Methodology: Experiences in Emergency Management
This paper presents a user-centered design methodology for Decision Support Systems (DSSs), which is specifically built to face the socio-technical gap that often impedes DSS accep...
Pietro Baroni, Daniela Fogli, Massimiliano Giacomi...
IFIP
2010
Springer
10 years 17 days ago
MBAC: Impact of the Measurement Error on Key Performance Issues
Abstract. In Measurement Based Admission Control (MBAC), the decision of accepting or rejecting a new ow is based on measurements of the current trac situation. Since MBAC relies o...
Anne Nevin, Peder J. Emstad, Yuming Jiang
books