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… (More)
Wikipedia

Topic mentions per year

Topic mentions per year

1996-2017
012319962017

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Review
2017
Review
2017
In this work, we propose a system-on-chip (SoC) design tool for the automatic generation of hardware sandboxes for securing… (More)
  • figure 1
  • figure 2
  • table 1
  • table 2
  • table 3
Is this relevant?
2017
2017
We propose a design flow for automatic generation of hardware sandboxes. Our tool, the Component Authentication Process for… (More)
  • figure 1
  • table 1
Is this relevant?
2015
2015
Compulsory licensing in music has paved the way for a limited class of new noninteractive services. However, innovation and… (More)
Is this relevant?
2005
2005
Cryptographic protocols are designed to provide security services, such as key distribution, authentication and non-repudiation… (More)
  • figure 1
  • figure 6
  • figure 5
Is this relevant?
2001
2001
Most systems designed for the verification of security protocols operate under the unproved assumption that an attack can only… (More)
Is this relevant?
2000
2000
CAPSL, a Common Authentication Protocol Specification Language, is a high-level language to support security analysis of… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
1999
1999
The Common Authentication Protocol Speci cation Language (CAPSL) is a high-level language for applying formal methods to the… (More)
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… (More)
Is this relevant?
1996
1996
CAPSL is a formal language for expressing authentication and key-exchange protocols. It is intended to capture enough of the… (More)
Is this relevant?