Recent technologies have cleared the way for large scale application of electronic
communication. The open and distributed nature of these communications implies that the …

Security Properties | SpringerLink Skip to main content Advertisement SpringerLink Account
Menu Find a journal Publish with us Track your research Search Cart Book cover …

Computer network security is critical to fraud prevention and accountability. Network
participants are required to observe predefined steps called security protocols, whose proof …

A series of silicon carbide‐based ceramics with different sintering additives were liquid‐
phase sintered to high densities. Yb2O3 in combination with AlN was used as the additive …

Classical security protocols aim to achieve authentication and confidentiality under the
assumption that the peers behave honestly. Some recent protocols are required to achieve …

An approach to protocol analysis using asynchronous product automata (APA) and the
simple homomorphism verification tool (SHVT) is demonstrated on several variants of the …

Security of information has become of increasing importance in today's information society.
Sensitive information such as credit card numbers is sent over the Internet every day …

This paper reports on the use of the Coq proof assistant for the formal verification of applet
isolation properties in Java Card technology. We focus on the confidentiality property. We …

A second-level security protocol is defined as a security protocol that relies on an underlying
security protocol in order to achieve its goals. The verification of classical authentication …

We design and analyze a simple optimistic fair non-repudia-tion protocol. Our protocol is
considerably simpler and more efficient than current proposals, due mainly to the avoidance …