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

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2017
2017
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
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
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
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
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, 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
The Common Authentication Protocol Specification Language (CAPSL) is a high-level language for applying formal methods to the… Expand
Is this relevant?
1999
1999
 
Is this relevant?
1998
1998
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 is a formal language for expressing authentication and key-exchange protocols. It is intended to capture enough of the… Expand
Is this relevant?