Výsledky vyhľadávania - "Network Protocols—Protocol verification"
-
1
Autori: a ďalší
Prispievatelia: a ďalší
Predmety: Categories and Subject Descriptors C.2.2 [Computer-Communication Networks, Network Protocols—Protocol verification, D.2.4 [Software Engineering, Software/Program Verification Keywords security, verification, protocols, symbolic execution, CryptoVerif, computational
Popis súboru: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.363.8174; http://users.mct.open.ac.uk/ma4962/files/computational2012.pdf
-
2
Autori: a ďalší
Prispievatelia: a ďalší
Predmety: Categories and Subject Descriptors C.2.2 [Computer-Communication Networks, Network Protocols—Protocol Verification General Terms Security, theory, verification Keywords Computational soundness, verification, source code
Popis súboru: application/pdf
-
3
Autori:
Prispievatelia:
Predmety: Categories and Subject Descriptors C.2.2 [Computer-Communication Networks, Network Protocols—Protocol Verification, C.2.0 [Computer-Com- munication Networks, Security and Protection General Terms Security, Verification
Popis súboru: application/pdf
-
4
Autori: a ďalší
Prispievatelia: a ďalší
Predmety: Security and protection, C.2.2 [Computer-Communication Networks, Network Protocols—Protocol verification, C.2.6 [Computer-Communication Networks, Internetwork- ing—Standards, SAML, TLS, D.2.4 [Software Engineer- ing, Software/Program Verification—Formal methods, Model checking, E.4 [Coding and Information Theory, For- mal models of communication, F.3.2 [Logics and Mean
Popis súboru: application/pdf
-
5
Autori:
Prispievatelia:
Predmety: Categories and Subject Descriptors C.2.2 [Computer-Communication Networks, Network Protocols—Protocol Verification, F.3.2 [Logics and Meanings of Programs, Semantics of Programming Languages —Program Analysis, K.6.5 [Management of Computing and Information Systems, Security and Protection—Authentication General Terms Security, Theory, Verification
Popis súboru: application/pdf
-
6
Autori: a ďalší
Prispievatelia: a ďalší
Predmety: Categories and Subject Descriptors C.2.2 [Computer-Communication Networks, Network Protocols—Protocol Verification, F.3.2 [Logics and Meanings of Programs, Semantics of Programming Languages —Program Analysis, K.6.5 [Management of Computing and Information Systems, Security and Protection— Authentication
Popis súboru: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.377.442; http://www.dsi.unive.it/~cortesi/paperi/Fmse07.pdf
-
7
Autori: a ďalší
Prispievatelia: a ďalší
Predmety: Categories and Subject Descriptors, C.2.2 [Computer-Communication Networks, Network Protocols—Protocol verification, D.2.4 [Software Engineering, Software/Program Verification— Model checking, G.3 [Mathematics of Computing, Probability and Statistics—Markov processes, F.1.1 [Computation by Abstract Devices, Models of Computation General Terms, Verification, Theory Additional Key Words and Phrases, Communication protocols, lossy channels, Markov decision processes, probabilistic models 5
Popis súboru: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.420.3418; http://www.irisa.fr/vertecs/Publis/Ps/acm07.pdf
-
8
Autori: a ďalší
Prispievatelia: a ďalší
Predmety: Categories and Subject Descriptors C.2.2 [Computer-Communication Networks, Network Protocols—Protocol verification, D.2 [Software Engineering, Software/Program Verification General Terms Performance Keywords Simulation, ad hoc networks, multi-path routing
Popis súboru: application/pdf
-
9
Autori:
Prispievatelia:
Predmety: Categories and Subject Descriptors, C.2.2 [Computer-Communication Networks, Network Protocols—Protocol verification, D.4.6 [Operating Systems, Security and Protection— Authentication, cryptographic controls, F.4.1 [Mathematical Logic and Formal Languages, Mathematical Logic—Mechanical theorem proving, proof theory, I.2.3 [Artificial Intelligence, Deduction and Theorem Proving—Answer/reason extraction, inference engines, K.6.5 [Manage- ment of Computing and Information Systems, Security and Protection—Authentication General Terms, Security, Verification Additional Key Words and Phrases, Security protocols, logic-based verification of security protocols, automated protocol verification
Popis súboru: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.510.3699; http://www.dcsl.ul.ie/papers/DC05_AcmTissec_ConceptofLPTs.pdf
-
10
Autori: a ďalší
Prispievatelia: a ďalší
Predmety: Categories and Subject Descriptors C.2.2 [Computer-Communication Networks, Network Protocols—Protocol verification, F.4 [Mathematical Logic and Formal Languages] General Terms Security, Theory, Verification Keywords Anonymity, Unlinkability, Privacy, Epistemic Logic, Knowledge, Cryptography, Formal Methods, Crowds, Onion Routing
Popis súboru: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.179.1031; http://www.win.tue.nl/ipa/archive/falldays2005/Paper_Rossum.pdf
-
11
Autori:
Prispievatelia:
Predmety: Encryption, C.2.2 [Computer-Communication Networks, Network Protocols—protocol verification General Terms, Theory, Languages, Security
Popis súboru: application/pdf
-
12
Autori:
Prispievatelia:
Predmety: Encryption, C.2.2 [Computer-Communication Networks, Network Protocols---protocol verification General Terms, Theory, Languages, Security
Popis súboru: application/postscript
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.4.2264; http://www.cis.upenn.edu/~sumii/pub/./infohide4.ps.gz
-
13
Autori: a ďalší
Prispievatelia: a ďalší
Zdroj: http://research.microsoft.com/users/fournet/papers/secure-sessions-for-web-services-tissec-draft.pdf.
Predmety: Categories and Subject Descriptors, C.2.0 [Computer Communication Networks, General—Security and Protection, C.2.2 [Computer Communication Networks, Network Protocols—Protocol Verification, D.2.4 [Software Engineering, Software/Program Verification—Formal Methods General Terms, Security, Languages, Theory, Verification Additional Key Words and Phrases, Web Services, XML Security
Popis súboru: application/pdf
-
14
Autori: a ďalší
Prispievatelia: a ďalší
Predmety: Categories and Subject Descriptors, C.2.0 [Computer Communication Networks, General—Security and Protection, C.2.2 [Computer Communication Networks, Network Protocols—Protocol Verification, D.2.4 [Software Engineering, Software/Program Verification—Formal Methods General Terms, Security, Languages, Theory, Verification Additional Key Words and Phrases, Web Services, XML Security
Popis súboru: application/pdf
-
15
Autori:
Prispievatelia:
Predmety: Key Words, Reliability, Verification. Categories, C.2.2 [Computer-Communication Networks, Network Protocols—protocol verification, D.2.2 [Software Engineering, Design Tools and Techniques—state diagrams, D.2.4 [Software Engineering, Software/Program Verification—model checking
Popis súboru: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.109.400; http://www.jucs.org/jucs_9_2/a_case_study_in/Malik_R.pdf
-
16
Autori:
Prispievatelia:
Predmety: C.2.2 [Computer-Communication Networks, Network Protocols – Protocol verification. General Terms Reliability, Experimentation, Standardization, Verification. Keywords Interoperability, Protocol, Testing, Validation
Popis súboru: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.21.3153; http://www.dlib.vt.edu/projects/OAI/reports/jcdl_2001_paper_repository_explorer.pdf
-
17
Autori:
Prispievatelia:
Predmety: Categories and Subject Descriptors C.2.2 [Computer-Communication Networks, Network Protocols—protocol verification, D.2.4 [Software Engineering, Software/Program Verification—formal methods, model checking, validation, F.3.1 [Logics and Meaning of Programs
Popis súboru: application/pdf
-
18
Autori: a ďalší
Prispievatelia: a ďalší
Predmety: Categories and Subject Descriptors C.2.2 [Computer-Communication Networks, Network Protocols—Protocol verification, D.2 [Software Engineering, Software/Program Verification Keywords Simulation, ad hoc networks, validation. 1. INTRODUCTION
Popis súboru: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.329.1732; http://castadiva.sourceforge.net/papers/Castadiva_France.pdf
-
19
Autori:
Prispievatelia:
Predmety: Categories and Subject Descriptors C.2.2 [Computer-Communication Networks, Network Protocols—Protocol Verification, F.3.2 [Logics and Meanings of Programs, Semantics of Programming Languages
Popis súboru: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.78.2648; http://www.dsi.unive.it/~focardi/Articoli/FMSE07.pdf
-
20
Prispievatelia: The Pennsylvania State University CiteSeerX Archives
Predmety: Categories and Subject Descriptors C.2.2 [Computer-Communication Networks, Network Protocols – Protocol Verification. General Terms Algorithm, Performance Keywords Heterogeneous networks, GEO satellite networks, TCP, network simulation, performance evaluation
Popis súboru: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.70.7340; http://www.ensc.sfu.ca/~ljilja/papers/omueti_trajkovic_wicon2007_final_edited.pdf
Nájsť tento článok vo Web of Science