Search results for "CRL"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
25	Russell Housley, W. Timothy Polk, Warwick Ford, David Solo	Internet X.509 Public Key Infrastructure Certificate and Certificate Revocation List (CRL) Profile.	RFC	2002	DBLP DOI BibTeX RDF
25	Larry Bassham, W. Timothy Polk, Russell Housley	Algorithms and Identifiers for the Internet X.509 Public Key Infrastructure Certificate and Certificate Revocation List (CRL) Profile.	RFC	2002	DBLP DOI BibTeX RDF
25	Dirk Fox	Certificate Revocation List (CRL).	Datenschutz und Datensicherheit	2001	DBLP BibTeX RDF
25	Masaki Murata, Masao Utiyama, Qing Ma, Hiromi Ozaku, Hitoshi Isahara	CRL at Ntcir2	CoRR	2001	DBLP BibTeX RDF
25	Masaki Murata, Masao Utiyama, Qing Ma, Hiromi Ozaku, Hitoshi Isahara	CRL at NTCIR2.	NTCIR	2001	DBLP BibTeX RDF
25	Russell Housley, Warwick Ford, W. Timothy Polk, David Solo	Internet X.509 Public Key Infrastructure Certificate and CRL Profile.	RFC	1999	DBLP DOI BibTeX RDF
25	William C. Ogden, James R. Cowie, Yevgeny Ludovik, Hugo Molina-Salgado, Sergei Nirenburg, Nigel Sharples, Svetlana O. Sheremetyeva	CRL's TREC-8 Systems Cross-Lingual IR, and Q&A.	TREC	1999	DBLP BibTeX RDF
25	Tatsuharu Kobayashi, Makoto Satake, Harunobu Masuko, Takeshi Manabe, Masanobu Shimada	CRL/NASDA airborne dual-frequency polarimetric interferometric SAR system.	SAR	1998	DBLP DOI BibTeX RDF
25	Jim Cowie	CRL's Approach to MET.	TIPSTER	1996	DBLP BibTeX RDF
25	James R. Cowie, Zhiqiang Guan	CRL English Routing System for TREC-5.	TREC	1996	DBLP BibTeX RDF
25	Kirk L. Johnson, M. Frans Kaashoek, Deborah A. Wallach	CRL: High-Performance All-Software Distributed Shared Memory.	SOSP	1995	DBLP DOI BibTeX RDF
25	James R. Cowie, Louise Guthrie, Wang Jin, William C. Ogden, James Pustejovsky, Rong Wang, Takahiro Wakao, Scott Waterman, Yorick Wilks	CRL/BRANDEIS: The Diderot System.	TIPSTER	1993	DBLP BibTeX RDF
25	James R. Cowie, Louise Guthrie, Yorick Wilks, James Pustejovsky	CRL/NMSU and Brandeis MucBruce: MUC-4 test results and analysis.	MUC	1992	DBLP DOI BibTeX RDF
25	James R. Cowie, Louise Guthrie, Yorick Wilks, James Pustejovsky, Scott Waterman	CRL/NMSU and Brandeis: description of the MucBruce system as used for MUC-4.	MUC	1992	DBLP DOI BibTeX RDF
25	Enrico Maim	CRL: Common Representation Language.	SEKE	1990	DBLP BibTeX RDF
23	Kenneth P. Laberteaux, Jason J. Haas, Yih-Chun Hu	Security certificate revocation list distribution for vanet.	Vehicular Ad Hoc Networks	2008	DBLP DOI BibTeX RDF	security, simulation, vanet, revocation, crl
23	Jan Friso Groote, François Monin, Jan Springintveld	A computer checked algebraic verification of a distributed summation algorithm.	Formal Aspects Comput.	2005	DBLP DOI BibTeX RDF	Distributed summation algorithm, Formal proof checking, Verification, Process algebra, PVS, CRL
23	Jose L. Muñoz, Jordi Forné, Oscar Esparza, Miguel Soriano	Implementation of an Efficient Authenticated Dictionary for Certificate Revocation.	ISCC	2003	DBLP DOI BibTeX RDF	AD and OCSP, Public key cryptography, PKI, CRT, certificate revocation, CRL
23	Vishwa Prasad, Sreenivasa Potakamuri, Michael Ahern, Igor Balabine, Michah Lerner, Partha Dutta	Scalable Policy Driven and General Purpose Public Key Infrastructure (PKI).	ACSAC	2000	DBLP DOI BibTeX RDF	interoperable security infrastructure, AT? Labs, multiple certificate authorities, third-party CA systems, uniform enrollment procedures, Verisign, authenticated IP services, policy descriptions, certificate sources, X.509v3 certificates, CRML, PKCS, X509, XML, software architecture, authentication, public key cryptography, certification, client-server systems, public key infrastructure, revocation, intranets, message authentication, CRL, OCSP, middleware platform
22	Bahareh Badban, Wan J. Fokkink, Jan Friso Groote, Jun Pang 0001, Jaco van de Pol	Verification of a sliding window protocol in µCRL and PVS.	Formal Aspects Comput.	2005	DBLP DOI BibTeX RDF	?CRL, Specification, Process algebra, Verification techniques, Sliding window protocols, Branching bisimulation
14	Krystian Samp, Stefan Decker	Supporting menu design with radial layouts.	AVI	2010	DBLP DOI BibTeX RDF	radial layout, menus
14	Jens R. Calamé, Jaco van de Pol	Applying Model-Based Testing to HTML Rendering Engines - A Case Study.	TestCom/FATES	2008	DBLP DOI BibTeX RDF
14	Stefan Blom, Jaco van de Pol	Symbolic Reachability for Process Algebras with Recursive Data Types.	ICTAC	2008	DBLP DOI BibTeX RDF
14	Miguel Valero Espada, Jaco van de Pol	An abstract interpretation toolkit for µCRL.	Formal Methods Syst. Des.	2007	DBLP DOI BibTeX RDF	muCRL, Model checking, Abstract interpretation, Process algebra
14	Vipul Goyal	Certificate Revocation Using Fine Grained Certificate Space Partitioning.	Financial Cryptography	2007	DBLP DOI BibTeX RDF
14	Muhammad Torabi Dashti, Anton Wijs	Pruning State Spaces with Extended Beam Search.	ATVA	2007	DBLP DOI BibTeX RDF
14	Muhammad Torabi Dashti, Srijith Krishnan Nair, Hugo L. Jonker	Nuovo DRM Paradiso: Towards a Verified Fair DRM Scheme.	FSEN	2007	DBLP DOI BibTeX RDF
14	Wan J. Fokkink, Allard Kakebeen, Jun Pang 0001	Adapting the UPPAAL Model of a Distributed Lift System.	FSEN	2007	DBLP DOI BibTeX RDF
14	Martin Lukac, Marek A. Perkowski	Quantum Mechanical Model of Emotional Robot Behaviors.	ISMVL	2007	DBLP DOI BibTeX RDF
14	Jun Liu, Jianxin Liao, Xiaomin Zhu 0002	A Password-Based Authentication and Key Establishment Scheme for Mobile Environment.	AINA Workshops (2)	2007	DBLP DOI BibTeX RDF
14	Seung Wook Jung, Souhwan Jung	Forward Secure Password-Enabled PKI with Instant Revocation.	EuroPKI	2006	DBLP DOI BibTeX RDF
14	Yuan Zhou, Zhenfu Cao, Zhenchuan Chai	Identity Based Key Insulated Signature.	ISPEC	2006	DBLP DOI BibTeX RDF
14	Frédéric Lang	Refined Interfaces for Compositional Verification.	FORTE	2006	DBLP DOI BibTeX RDF
14	Taolue Chen, Tingting Han 0001, Jian Lu 0001	Analysis of A Leader Election Algorithm in uCRL.	CIT	2005	DBLP DOI BibTeX RDF
14	Frédéric Lang	Exp.Open 2.0: A Flexible Tool Integrating Partial Order, Compositional, and On-The-Fly Verification Methods.	IFM	2005	DBLP DOI BibTeX RDF
14	Clara Benac Earle, Lars-Åke Fredlund	Verification of Language Based Fault-Tolerance.	EUROCAST	2005	DBLP DOI BibTeX RDF
14	Clara Benac Earle, Lars-Åke Fredlund, John Derrick	Verifying fault-tolerant Erlang programs.	Erlang Workshop	2005	DBLP DOI BibTeX RDF	code verification, fault-tolerance, concurrency
14	Amir Herzberg, Yosi Mass	Relying Party Credentials Framework.	Electron. Commer. Res.	2004	DBLP DOI BibTeX RDF
14	Thomas Arts, Clara Benac Earle, John Derrick	Development of a verified Erlang program for resource locking.	Int. J. Softw. Tools Technol. Transf.	2004	DBLP DOI BibTeX RDF	Model checking, Formal methods, Functional programming, Erlang, Software verification
14	Jaco van de Pol, Miguel Valero Espada	Modal Abstractions in µCRL.	AMAST	2004	DBLP DOI BibTeX RDF
14	Dae Hyun Yum, Pil Joong Lee	Separable Implicit Certificate Revocation.	ICISC	2004	DBLP DOI BibTeX RDF	certificate-based encryption, PKI, certificate revocation
14	Jan Cederquist, Muhammad Torabi Dashti	Formal Analysis of a Fair Payment Protocol.	Formal Aspects in Security and Trust	2004	DBLP DOI BibTeX RDF
14	Jun Pang 0001, Jaco van de Pol, Miguel Valero Espada	Abstraction of Parallel Uniform Processes with Data.	SEFM	2004	DBLP DOI BibTeX RDF
14	J. J. T. Kleijn, Michel A. Reniers, Jacobus E. Rooda	Analysis of an Industrial System.	Formal Methods Syst. Des.	2003	DBLP DOI BibTeX RDF	verification, formal methods, process algebra, industrial systems
14	Simona Orzan, Jaco van de Pol	Verification of Distributed Dataspace Architectures.	Ershov Memorial Conference	2003	DBLP DOI BibTeX RDF
14	Jun Pang 0001, Bart Karstens, Wan J. Fokkink	Analyzing the Redesign of a Distributed Lift System in UPPAAL.	ICFEM	2003	DBLP DOI BibTeX RDF
14	Md Maruf Hasan, Kazuhiro Takeuchi, Hitoshi Isahara, Virach Sornlertlamvanich	Digital Libraries in Asian Languages - A TCL Initiative.	ICADL	2003	DBLP DOI BibTeX RDF
14	Masaya Nakayama, Hiroyuki Ohno	Current Status of IAA (I Am Alive) system and IAA Alliance.	SAINT Workshops	2003	DBLP DOI BibTeX RDF
14	Matei Ciobanu Morogan, Sead Muftic	Certificate Management in Ad Hoc Networks.	SAINT Workshops	2003	DBLP DOI BibTeX RDF
14	Eugenio Faldella, Marco Prandini	An Application of Efficient Certificate Status Handling Methods to High Traffic Authentication Services.	ISCC	2003	DBLP DOI BibTeX RDF
14	Jose L. Muñoz, Jordi Forné, Oscar Esparza, Miguel Soriano, David Jodra	Evaluation of Revocation Systems with a JAVA Test-bed.	DEXA Workshops	2003	DBLP DOI BibTeX RDF
14	Jozef Hooman, Jaco van de Pol	Formal verification of replication on a distributed data space architecture.	SAC	2002	DBLP DOI BibTeX RDF	data space architecture, model-checking, formal verification, coordination, theorem proving
14	Jong-Phil Yang, Weon Shin, Kyung Hyune Rhee	An End-to-End Authentication Protocol in Wireless Application Protocol.	ACISP	2001	DBLP DOI BibTeX RDF
14	Amir Herzberg, Yosi Mass	Relying Party Credentials Framework.	CT-RSA	2001	DBLP DOI BibTeX RDF
14	Barbara Fox, Brian A. LaMacchia	Panel: Public Key Infrastructure: PKIX, Signed XML or Something Else?	Financial Cryptography	2000	DBLP DOI BibTeX RDF
14	Patrick D. McDaniel, Aviel D. Rubin	A Response to ''Can We Eliminate Certificate Revocation Lists?''.	Financial Cryptography	2000	DBLP DOI BibTeX RDF
14	Javier López 0001, Antonio Mana, Juan J. Ortega, José M. Troya	Distributed Storage and Revocation in Digital Certificate Databases.	DEXA	2000	DBLP DOI BibTeX RDF
14	Marco Prandini	Efficient Certificate Status Handling Within PKIs: An Application to Public Administration Services.	ACSAC	1999	DBLP DOI BibTeX RDF
14	Svetlana O. Sheremetyeva, Wanying Jin, Sergei Nirenburg	Rapid Deployment Morphology.	Mach. Transl.	1998	DBLP DOI BibTeX RDF	Russian, morphology
14	Ilias Petrounias, Pericles Loucopoulos	A Rule-Based Approach for the Design and Implementation of Information Systems.	EDBT	1994	DBLP DOI BibTeX RDF
14	Baowen Xu	PIDL / Pascal: A Pascal-oriented Program Interface Description Language And Its Applications.	ACM SIGPLAN Notices	1993	DBLP DOI BibTeX RDF	Pascal