Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

CaPSL

CaPSL is a printer command language/page description language used by early Canon printers including the LBP-8III series and supported on (at least… Expand
Wikipedia

Related topics

Related topics

1 relation
Printer Command Language

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2017
2017
CAPSL: A Tool for Automatic Generation of Hardware Sandboxes for IP Security
We propose a design flow for automatic generation of hardware sandboxes. Our tool, the Component Authentication Process for… Expand
  • figure 1
  • table 1
Is this relevant?
2014
2014
ProToc - An Universal Language for Security Protocols Specifications
This paper shows a new language for security protocols specifications. First, we present other specification languages. As far as… Expand
Is this relevant?
2005
2005
Extending CAPSL for Logic-Based Verifications
Cryptographic protocols are designed to provide security services, such as key distribution, authentication and non-repudiation… Expand
  • figure 1
  • figure 6
  • figure 5
Is this relevant?
Highly Cited
2003
Highly Cited
2003
An On-the-Fly Model-Checker for Security Protocol Analysis
We introduce the on-the-fly model-checker OFMC, a tool that combines two methods for analyzing security protocols. The first is… Expand
  • table 1
  • figure 3
Is this relevant?
2001
2001
Specifying Authentication Protocols Using Rewriting and Strategies
Programming with rewrite rules and strategies has been already used for describing several computational logics. This paper… Expand
Is this relevant?
Highly Cited
2000
Highly Cited
2000
CAPSL integrated protocol environment
CAPSL, a Common Authentication Protocol Specification Language, is a high-level language to support security analysis of… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
1999
1999
CAPSL interface for the NRL Protocol Analyzer
The Common Authentication Protocol Specification Language (CAPSL) is a high-level language for applying formal methods to the… Expand
Is this relevant?
1999
1999
Capsl Intermediate Language
 
Is this relevant?
1998
1998
A HOL Formalization of CAPSL Semantics
This paper describes a state-based Higher Order Logic theory of protocol failure that formalizes the semantics of the Common… Expand
Is this relevant?
Highly Cited
1996
Highly Cited
1996
CAPSL: Common Authentication Protocol Specification Language
CAPSL is a formal language for expressing authentication and key-exchange protocols. It is intended to capture enough of the… Expand
Is this relevant?
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy, Terms of Service, and Dataset License
ACCEPT & CONTINUE