christiankissig's protocols [16 articles] Export

Recent papers added to christiankissig's library classified by the tag protocols. You can also see everyone's protocols.

Hide details

	A Seperation of Concerns Approach to Mobile Components [My Copy] Theoretical Computer Science, Vol. 331, No. 2--3. (2005), pp. 457-483. by D. Pattinson, M. Wirsing posted to protocols by christiankissig on 2008-09-11 13:35:39 as
	A compositional logic for protocol correctness [My Copy] In Proceedings of CSFW 2001 (2001), pp. 241-255. by Nancy Durgin, John C. Mitchell, Dusko Pavlovic edited by Steve Schneider posted to protocols by christiankissig on 2008-07-12 17:14:44 as
	Derivation of the JFK protocol [My Copy] No. KES.U.02.03. (July 2002) by Anupam Datta, John C. Mitchell, Dusko Pavlovic posted to protocols by christiankissig on 2008-07-12 17:14:43 as
	Authentication for Mobile IPv6 [My Copy] No. KES.U.02.02. (March 2002) by Anupam Datta, John C. Mitchell, Frederic Muller, Dusko Pavlovic posted to protocols by christiankissig on 2008-07-12 17:14:43 as
	A derivation system for security protocols and its logical formalization [My Copy] In Proceedings of CSFW 2003 (2003), pp. 109-125. by Anupam Datta, Ante Derek, John C. Mitchell, Dusko Pavlovic edited by Dennis Volpano posted to protocols by christiankissig on 2008-07-12 17:14:43 as
	Secure protocol composition (extended abstract) [My Copy] In Proceedings of FMCS 2003 (2003), pp. 11-23. by Anupam Datta, Ante Derek, John C. Mitchell, Dusko Pavlovic edited by Michael Backes, David Basin, Michael Waidner posted to protocols by christiankissig on 2008-07-12 17:14:43 as
	Secure protocol composition [My Copy] E. Notes in Theor. Comp. Sci. (2003), pp. 87-114. by Anupam Datta, Ante Derek, John Mitchell, Dusko Pavlovic posted to protocols by christiankissig on 2008-07-12 17:14:43 as
	A compositional logic for proving security properties of protocols [My Copy] J. of Comp. Security, Vol. 11, No. 4. (2004), pp. 677-721. by Nancy Durgin, John Mitchell, Dusko Pavlovic posted to protocols by christiankissig on 2008-07-12 17:14:43 as
	Deriving, attacking and defending the GDOI protocol [My Copy] In Proceedings of ESORICS 2004, Vol. 3193 (2004), pp. 53-72. by Catherine Meadows, Dusko Pavlovic edited by Peter Ryan, Pierangela Samarati, Dieter Gollmann, Refik Molva posted to protocols by christiankissig on 2008-07-12 17:14:42 as
	Abstraction and refinement in protocol derivation [My Copy] In Proceedings of CSFW 2004 (2004), pp. 30-47. by Anupam Datta, Ante Derek, John C. Mitchell, Dusko Pavlovic edited by Riccardo Focardi posted to protocols by christiankissig on 2008-07-12 17:14:42 as
	A derivation system and compositional logic for security protocols [My Copy] J. of Comp. Security, Vol. 13 (2005), pp. 423-482. by Anupam Datta, Ante Derek, John Mitchell, Dusko Pavlovic posted to protocols by christiankissig on 2008-07-12 17:14:42 as
	An encapsulated authentication logic for reasoning about key distribution protocols [My Copy] In Proceedings of CSFW 2005 (2005), pp. 48-61. by Iliano Cervesato, Catherine Meadows, Dusko Pavlovic edited by Joshua Guttman posted to protocols by christiankissig on 2008-07-12 17:14:42 as
	Deriving secure network protocols for enterprise service architectures [My Copy] In Proceedings of IEEE Interrnational Conference on Communications (2006) by Matthias Anlauff, Dusko Pavlovic, Asuman Sünbül edited by Bülent Yener, Refik Molva, Becker posted to protocols by christiankissig on 2008-07-12 17:14:42 as
	Proving Authentication Properties in the Protocol Derivation Assistant [My Copy] In Proceedings of FCS-ARSPA 2006 (2006) by Matthias Anlauff, Dusko Pavlovic, Richard Waldinger, Stephen Westfold edited by Pierpaolo Degano, Ralph Küsters, Luca Vigano posted to protocols by christiankissig on 2008-07-12 17:14:42 as
	Deriving secrecy properties in key establishment protocols [My Copy] In Proceedings of ESORICS 2006, Vol. 4189 (2006) by Dusko Pavlovic, Catherine Meadows edited by Dieter Gollmann, Andrei Sabelfeld posted to protocols by christiankissig on 2008-07-12 17:14:42 as
	Distance bounding protocols: authentication logic analysis and collusion attacks [My Copy] In Secure Localization and Time Synchronization in Wireless Ad Hoc and Sensor Networks (2006) by Catherine Meadows, Radha Poovendran, Dusko Pavlovic, Liwu Chang, Paul Syverson edited by R. Poovendran, C. Wang, S. Roy posted to protocols by christiankissig on 2008-07-12 17:14:42 as

Note: You may cite this page as: http://www.citeulike.org/user/christiankissig/tag/protocols

CiteULike organises scholarly (or academic) papers or literature and provides bibliographic (which means it makes bibliographies) for universities and higher education establishments. It helps undergraduates and postgraduates. People studying for PhDs or in postdoctoral (postdoc) positions. The service is similar in scope to EndNote or RefWorks or any other reference manager like BibTeX, but it is a social bookmarking service for scientists and humanities researchers.

category_theory	133
file-import-samson-abramsky	57
coalgebra	51
logic	35
automata_theory	34
algebra	21
enriched_category_theory	20
monads	18
physics	17
coalgebraic_modal_logic	16
protocols	16
domain_theory	14
modules	14
quantum_logics	14
monoidal_categories	12
game_theory	11
quantum_operator_algebras	9
bicategories	8
lawvere_theories	8
modal_logic	8
semirings	8
distributive_laws	7
higher_category_theory	7
limit-colimit-coincidence	7
quantum_logic	7
game_semantics	6
hopf_algebras	6
topology	6
trace_theory	6
coalgebraic_logic	5
concurrency	5
fibrations	5
process_algebra	5
processes	5
topoi	5
toposes	5
algebraic_topology	4
dagger_frobenius_algebras	4
differential_geometry	4
functor_lifting	4
hopf_monads	4
pi_calculus	4
sheaves	4
simulation	4
bigraphs	3
coinduction	3
constraint_satisfaction_problems	3
functors	3
interaction_categories	3
isbell_conjugacy	3
lambda_calculus	3
observational_equivalence	3
set_theory	3
software_engineering	3
substituion_patterns	3
toget	3
wanted	3
algebraic_geometry	2
algebraic_specification	2
anonymity	2
ccs	2
closed_categories	2
coalgebras	2
cohomology	2
cryptography	2
csp	2
elliptic_curves	2
examples_functors	2
examples_monads	2
factorisation_systems	2
functor_representation	2
geometry	2
graph_theory	2
homotopy	2
hopf_algebra	2
kleene_algebras	2
linear_logic	2
logics	2
morita_duality	2
polynomial_equation	2
profinite_groups	2
quantum_mechanics	2
reversible_computing	2
topological_field_theory	2
traces	2
trace_semantics	2
universal_algebra	2
algebraic_categories	1
analysis	1
automata	1
bialgebra	1
bialgebras	1
bimonads	1
boolean_algebras	1
categorical_logic	1
chu-spaces	1
coalgebraic_automata_theory	1
commutative_monads	1
comonads	1
complexity_theory	1
computational_effects	1
constructive_mathematics	1
cuboidal_sets	1
distributed_systems	1
domain_equations	1
expressivity	1
file-import-09-09-22	1
functional_analysis	1
functional_programming	1
functor_presentation	1
generalised_metric_spaces	1
gsos	1
haskell	1
hilbert_spaces	1
homology	1
hopf_mondas	1
integration_theory	1
kleisli_category	1
knot_theory	1
lifting	1
manifolds	1
mathematics	1
measure_theory	1
modal	1
monad	1
monad_strength	1
morita_equivalence	1
mu_calculus	1
multi_agent_logics	1
natural	1
nominal_sets	1
number_theory	1
petri_nets	1
predicate	1
programming	1
programming_languages	1
proof_theory	1
quantales	1
quantaloids	1
quantum_computing	1
relation	1
retraction	1
separation_logic	1
service_oriented_architectures	1
sos	1
stacks	1
subsitution_patterns	1
substitution_patterns	1
substitution_systems	1
symmetric_monoidal	1
tensor_categories	1
tilings	1
toread	1
type_theory	1

christiankissig's protocols [16 articles] Export

christiankissig's tags