books search
books
articles search
articles
Donate
Log In
Log In
to access more features
personal recommendations
Telegram Bot
download history
send to Email or Kindle
manage booklists
save to favorites
Explore
Journals
Contribution
Donate
Litera Library
Donate paper books
Add paper books
Open LITERA Point
Volume 206; Issue 2-4
Main
Information and Computation
Volume 206; Issue 2-4
Information and Computation
Volume 206; Issue 2-4
1
Breaking and fixing public-key Kerberos
Iliano Cervesato
,
Aaron D. Jaggard
,
Andre Scedrov
,
Joe-Kai Tsay
,
Christopher Walstad
Journal:
Information and Computation
Year:
2008
Language:
english
File:
PDF, 1.02 MB
Your tags:
english, 2008
2
Analysis of dynamic policies
A. Prasad Sistla
,
Min Zhou
Journal:
Information and Computation
Year:
2008
Language:
english
File:
PDF, 329 KB
Your tags:
english, 2008
3
Rule-based static analysis of network protocol implementations
Octavian Udrea
,
Cristian Lumezanu
,
Jeffrey S. Foster
Journal:
Information and Computation
Year:
2008
Language:
english
File:
PDF, 3.27 MB
Your tags:
english, 2008
4
A framework for compositional verification of security protocols
Suzana Andova
,
Cas Cremers
,
Kristian Gjøsteen
,
Sjouke Mauw
,
Stig F. Mjølsnes
,
Saša Radomirović
Journal:
Information and Computation
Year:
2008
Language:
english
File:
PDF, 959 KB
Your tags:
english, 2008
5
Anonymity protocols as noisy channels
Konstantinos Chatzikokolakis
,
Catuscia Palamidessi
,
Prakash Panangaden
Journal:
Information and Computation
Year:
2008
Language:
english
File:
PDF, 368 KB
Your tags:
english, 2008
6
Hierarchical combination of intruder theories
Yannick Chevalier
,
Michael Rusinowitch
Journal:
Information and Computation
Year:
2008
Language:
english
File:
PDF, 318 KB
Your tags:
english, 2008
7
Symbolic protocol analysis for monoidal equational theories
Stéphanie Delaune
,
Pascal Lafourcade
,
Denis Lugiez
,
Ralf Treinen
Journal:
Information and Computation
Year:
2008
Language:
english
File:
PDF, 700 KB
Your tags:
english, 2008
8
On the relationships between models in protocol verification
Sebastian Mödersheim
Journal:
Information and Computation
Year:
2008
Language:
english
File:
PDF, 727 KB
Your tags:
english, 2008
9
Fair multi-party contract signing using private contract signatures
Aybek Mukhamedov
,
Mark D. Ryan
Journal:
Information and Computation
Year:
2008
Language:
english
File:
PDF, 209 KB
Your tags:
english, 2008
10
Preservation of probabilistic information flow under refinement
Thomas Santen
Journal:
Information and Computation
Year:
2008
Language:
english
File:
PDF, 734 KB
Your tags:
english, 2008
11
Execution monitoring enforcement under memory-limitation constraints
Chamseddine Talhi
,
Nadia Tawbi
,
Mourad Debbabi
Journal:
Information and Computation
Year:
2008
Language:
english
File:
PDF, 342 KB
Your tags:
english, 2008
12
Authenticating ad hoc networks by comparison of short digests
L.H. Nguyen
,
A.W. Roscoe
Journal:
Information and Computation
Year:
2008
Language:
english
File:
PDF, 242 KB
Your tags:
english, 2008
13
Joint workshop on foundations of computer security and automated reasoning for security protocol analysis (FCS-ARSPA ’06)
Pierpaolo Degano
,
Ralf Küsters
,
Luca Viganò
,
Steve Zdancewic
Journal:
Information and Computation
Year:
2008
Language:
english
File:
PDF, 49 KB
Your tags:
english, 2008
14
Information flow security in Boundary Ambients
Chiara Braghin
,
Agostino Cortesi
,
Riccardo Focardi
Journal:
Information and Computation
Year:
2008
Language:
english
File:
PDF, 1.02 MB
Your tags:
english, 2008
15
Inside Front Cover: Editorial Board
Journal:
Information and Computation
Year:
2008
Language:
english
File:
PDF, 1.42 MB
Your tags:
english, 2008
16
Editorial Board (continued)
Journal:
Information and Computation
Year:
2008
Language:
english
File:
PDF, 1.42 MB
Your tags:
english, 2008
1
Follow
this link
or find "@BotFather" bot on Telegram
2
Send /newbot command
3
Specify a name for your chatbot
4
Choose a username for the bot
5
Copy an entire last message from BotFather and paste it here
×
×