A practical comparison of Alloy and Spin
P Zave - Formal Aspects of Computing, 2015 - Springer
Because potential users have to choose a formal method before they can start using one,
research on assessing the applicability of specific formal methods might be as effective in …
research on assessing the applicability of specific formal methods might be as effective in …
On the design and analysis of protocols for personal health record storage on personal data server devices
Abstract The electronic Personal Health Records (PHRs) such as medical history, lab
reports, and insurance are stored in systems such as Microsoft Health Vault where a medical …
reports, and insurance are stored in systems such as Microsoft Health Vault where a medical …
Detecting unsafe BGP policies in a flexible world
Internet Service Providers (ISPs) need to balance multiple opposing objectives. On one
hand, they strive to offer innovative services to obtain competitive advantages; on the other …
hand, they strive to offer innovative services to obtain competitive advantages; on the other …
Analyzing internet routing security using model checking
A Sosnovich, O Grumberg, G Nakibly - … -20 2015, Suva, Fiji, November 24 …, 2015 - Springer
The goal of this work is to enhance Internet security by applying formal analysis of traffic
attraction attacks on the BGP routing protocol. BGP is the sole protocol used throughout the …
attraction attacks on the BGP routing protocol. BGP is the sole protocol used throughout the …
An alloy verification model for consensus-based auction protocols
S Mirzaei, F Esposito - 2015 IEEE 35th International …, 2015 - ieeexplore.ieee.org
Max Consensus-based Auction (MCA) protocols are an elegant approach to establish
conflict-free distributed allocations in a wide range of network utility maximization problems …
conflict-free distributed allocations in a wide range of network utility maximization problems …
Methods for safe, flexible and secure policy based routing
D Perouli - 2013 - search.proquest.com
Abstract Internet Service Providers (ISPs) need to balance multiple opposing objectives. On
one hand, they strive to offer innovative services to obtain competitive advantages; on the …
one hand, they strive to offer innovative services to obtain competitive advantages; on the …
[引用][C] Finding Security Vulnerabilities in Network Protocols Using Methods of Formal Verification
A Sosnovich, O Grumberg - 2017 - Computer Science Department …