Verification of infinite-state systems with applications to security

Select an Action

Place Hold(s)
Add to My Lists
Email
Print

Verification of infinite-state systems with applications to security

Title:

Verification of infinite-state systems with applications to security

Author:

NATO Advanced Research Workshop on Verification of Infinite-state Systems with Applications to Security (2005 March 17-22 : Timaşoara, Romania)

Conference Author:

NATO Advanced Research Workshop on Verification of Infinite-state Systems with Applications to Security (2005 March 17-22 : Timaşoara, Romania)

Publication Information:

Amsterdam ; Washington, D.C. : IOS Press, c2006.

Physical Description:

vii, 235 p. : ill.

Series:

NATO security through science series. D, Information and communication security ; vol. 1

NATO security through science series. D, Information and communication security ; v. 1.

General Note:

Proceedings of the NATO Advanced Research Workshop on Verification of Infinite-state Systems with Applications to Security, Timaşoara, Romania, March 17-22, 2005.

Subject Term:

System theory -- Mathematical models -- Congresses.

System theory -- Security measures -- Congresses.

Computer security -- Congresses.

Computer software -- Verification -- Congresses.

Genre:

Electronic books.

Added Author:

Clarke, Edmund.

Minea, Marius.

Ţiplea, Ferucio Laurenţiu.

Added Corporate Author:

ProQuest (Firm)

Electronic Access:

Click to View

Available:*

Shelf Number	Item Barcode	Shelf Location	Status
Q295 .N38 2006	934718-1001	Ebook Central	Searching...

On Order

Select a list

Make this your default list.

The following items were successfully added.

There was an error while adding the following items. Please try again.

Email Address:

Phone Number:

Mobile Carrier:

Select An Item

Data usage warning: You will receive one text message for each title you selected.

Standard text messaging rates apply.