24 Pages

secproto

Course: ELEG 867, Fall 2008
School: Delaware
Rating:
 
 
 
 
 

Word Count: 2500

Document Preview

Security NTP Protocol David L. Mills University of Delaware http://www.eecis.udel.edu/~mills mailto:mills@udel.edu Sir John Tenniel; Alice's Adventures in Wonderland,Lewis Carroll Apr 20, 2009 1 Security protocol requirements o It must interoperate with the existing NTP architecture model and protocol design. In particular, it must support the symmetric key scheme described in RFC-1305. It must provide for...

Register Now

Unformatted Document Excerpt

Coursehero >> Delaware >> Delaware >> ELEG 867

Course Hero has millions of student submitted documents similar to the one
below including study guides, practice problems, reference materials, practice exams, textbook help and tutor support.

Course Hero has millions of student submitted documents similar to the one below including study guides, practice problems, reference materials, practice exams, textbook help and tutor support.
Security NTP Protocol David L. Mills University of Delaware http://www.eecis.udel.edu/~mills mailto:mills@udel.edu Sir John Tenniel; Alice's Adventures in Wonderland,Lewis Carroll Apr 20, 2009 1 Security protocol requirements o It must interoperate with the existing NTP architecture model and protocol design. In particular, it must support the symmetric key scheme described in RFC-1305. It must provide for the independent collection of cryptographic values and time values. A NTP packet is accepted for processing only when the required cryptographic values have been obtained and verified and the NTP header has passed all sanity checks. It must not significantly degrade the potential accuracy of the NTP synchronization algorithms. In particular, it must not make unreasonable demands on the network or host processor and memory resources. It must be resistant to cryptographic attacks, specifically those identified in the security model above. In particular, it must be tolerant of operational or implementation variances, such as packet loss or misorder, or suboptimal configurations. 2 o o o Apr 20, 2009 Security protocol requirements (continued) o It must build on a widely available suite of cryptographic algorithms, yet be independent of the particular choice. In particular, it must not require data encryption other than incidental to signature and cookie encryption operations. It must function in all the modes supported by NTP, including server, symmetric and broadcast modes. It must not require intricate per-client or per-server configuration other than the availability of the required cryptographic keys and certificates. The reference implementation must contain provisions to generate cryptographic key files specific to each client and server. o o o Apr 20, 2009 3 Autokey security protocol o NTP and Autokey protocols work independently for each client, with tentative outcomes confirmed only after both succeed. Public keys and certificates are obtained and verified relatively infrequently using X.509 certificates and certificate trails. Session keys are derived from public keys using fast algorithms. Each NTP message is individually authenticated using session key and message digest (keyed MD5). A proventic trail is a sequence of NTP servers each synchronized and cryptographically verified to the next lower stratum server and ending on one or more trusted servers. Proventic trails are constructed from each server to the trusted servers at decreasing stratum levels. When server time and at least one proventic trail are verified, the peer is admitted to the population used to synchronize the system clock. 4 o o o o o o Apr 20, 2009 Session keys Source Address o o Dest Key ID Address NTPv4 Session Key Cookie Hash NTPv4 session keys have four 32-bit words (16 octets total). The session key value is the 16-octet MD5 message digest of the session key. Key IDs have pseudo-random values and are used only once. A special key ID value of zero is used as a NAK reply. In multicast mode and in any message including an extension field, the cookie has a public value (zero). In client/server modes the cookie is a hash of the addresses and a private value. In symmetric modes the cookie is a random roll; in case both peers generate cookies, the agreed cookie is the EXOR of the two values. 5 o o o o Apr 20, 2009 Computing the cookie Client Address Server Address Key ID (0) Private Value Cookie Compute Hash Compute Signature Signature and Timestamp Cookie o The server generates a cookie unique to the client and server addresses and its own private value. It returns the cookie, signature and timestamp to the client in an extension field. The cookie is transmitted from server to client encrypted by the clien public key. The server uses the cookie to validate requests and construct replies. The client uses the cookie to validate the reply and checks that the request key ID matches the reply key ID. 6 o o o Apr 20, 2009 Generating the session key list Source Address Dest Address Cookie Key ID Session Key ID List Final Index Final Key ID Compute Hash Index n Next Key ID Index n + 1 o Compute Signature Signature The server rolls a random 32-bit seed as the initial key ID and selects the cookie. Messages with a zero cookie contain only public values. The initial session key is constructed using the given addresses, cookie and initial key ID. The session key value is stored in the key cache. The next session key is constructed using the first four octets of the session key value as the new key ID. The server continues to generate the full list. The final index number and last key ID are provided in an extension field with signature and timestamp. 7 o o o Apr 20, 2009 Sending messages NTP Header and Extension Fields Compute Hash Key ID Session Key ID List Message Authenticator Code (MAC) o The message authenticator code (MAC) consists of the MD5 message digest of the NTP header and extension fields using the session key ID and value stored in the key cache. The server uses the session key ID list in reverse order and discards each key value after use. An extension field containing the last index number and key ID is included in the first packet transmitted (last on the list). This extension field can be provided upon request at any time. When all entries in the key list are used, a new one is generated. 8 o o o o Apr 20, 2009 Receiving messages NTP Header and Extension Fields Compute Hash Message Authenticator Code (MAC) Key ID Message Digest Message Digest Compare o The intent is not to hide the message contents, just verify where it came from and that it has not been modified in transit. The MAC message digest is compared with the computed digest of the NTP header and extension fields using the session key ID in the MAC and the key value computed from the addresses, key ID and cookie. If the cookie is zero, the message contains public values. Anybody can validate the message or make a valid message containing any values. If the cookie has been determined by secret means, nobody except the parties to the secret can validate a message or make a valid message. 9 o o o Apr 20, 2009 NTP protocol header and timestamp formats NTP Protocol Header Format (32 bits) LI VN Mode Strat Poll Root Delay Root Dispersion Reference Identifier Prec LI VN Strat Poll Prec leap warning indicator version number (4) stratum (0-15) poll interval (log2) precision (log2) Reference Timestamp (64) Originate Timestamp (64) Cryptosum Receive Timestamp (64) Transmit Timestamp (64) Extension Field 1 (optional) Extension Field 2... (optional) Authenticator (Optional) Key/Algorithm Identifier Message Digest (128) NTP Timestamp Format (64 bits) Seconds (32) Fraction (32) Value is in seconds and fraction since 0h 1 January 1900 NTP v4 Extension Field Field Type Length Extension Field (padded to 32-bit boundary) Last field padded to 64-bit boundary NTP v3 and v4 NTP v4 only authentication only Authenticator uses MD5 cryptosum of NTP header plus extension fields (NTPv4) Apr 20, 2009 10 NTPv4 extension fields Field Type Length Association ID Timestamp Filestamp Value Length Value Signature Length Signature Padding (as needed) Value Fields (optional) NTP Extension Field o New extension fields format defined for NTP Version 4 Fields are processed in order. Requests may be transmitted with or without value fields. Last field padded to 64-bit boundary; all others padded to 32-bit boundary. Field length covers all payload and padding. 11 Apr 20, 2009 Host status word 0 Digest/Signature NID 16 Client 24 Ident 28 Host o Host status word is constructed at initialization time. Client and server exchange status words with offered identity schemes Both client and server agree on the same scheme o Digest/Signature NID 16 bits for Network ID of the message digest/signature encryption scheme o Client 8 bits available for client Autokey protocol operations o Host 8 bits available for host Autokey operations and offered identity scheme Apr 20, 2009 12 Autokey protocol exchanges o Parameter Exchange (ASSOC message - not signed) Exchange host names; agree on digest/signature and schemes. identity Optional: verify host name/address using reverse-DNS. o Certificate Exchange (CERT message) Obtain and verify certificates on the trail to a trusted root certificate. o Identity Exchange (IFF, GQ and MV messages) Verify server identity using agreed identity scheme (TC, IFF, GQ, MV). o Values Exchange (COOKIE and AUTO messages) Obtain and verify the cookie, autokey values and leapseconds table, depending on the association mode (client-server, broadcast, symmetric). o Signature Exchange (SIGN message) Request the server to sign and return a client certificate. The exchange is valid only when the client has synchronized to a proventic source and the server identity has been confirmed. Apr 20, 2009 13 Parameter and certificate exchanges Client Send host name and status word (unsigned) Agree digest NID and ID scheme Assoc Request Assoc Response Certificate Request Verify signature Certificate Response Send X.509 certificate and certificate and signature Server Agree digest NID And ID scheme Send host name and status word (unsigned) o Initial exchange of host status words defines server message digest and signature encryption algorithm and identity scheme. The Certificate Request/Response cycle repeats as needed. Primary (stratum 1) certificate is explicitly trusted and self-signed. Secondary certificates are signed by the next lower stratum server and validated with its public key. 14 o Apr 20, 2009 Identification exchange Client Compute nonce1 and send Server Compute nonce2 and response Challenge Request Verify response Challenge Response Send response and signature and signature o This is a challenge-response scheme Client Alice and server Bob share a common set of parameters and a private group key b. Alice rolls random nonce r and sends to Bob. Bob rolls random nonce k, computes a one-way function f(r, k, b) and sends to Alice. Alice computes some function g(f, b) to verify that Bob knows b. o The signature prevents message modification and binds the response to Bob's private key. An interceptor can see the challenge and response, but cannot determine k or b or how to construct a response acceptable to Alice. 15 o Apr 20, 2009 Cookie exchange Client Active Peer Server Passive Peer Send public key and signature Verify signature; decrypt cookie Cookie Request Cookie Response Verify signature; encrypt cookie Send encrypted cookie and signature o Client sends public key to server without signature when not synchronized. Symmetric active peer sends public key and signature to passive peer when synchronized. Server cookie is encrypted from the hash of source/destination addresses, zero key ID and server private value. Symmetric passive cookie is a random value for every exchange. Server private value is refreshed and protocol restarted once per day. 16 o o o o Apr 20, 2009 Autokey exchange Client Active Peer Server Passive Peer Send request and signature Verify signature; install values Autokey Request Autokey Response Verify signature Send autokey values and signature o Server generates key list and signature calculated to last about one hour. Client sends request to server without signature when not synchronized. Server replies with the last index number and key ID on the list. Broadcast server uses AUTO response for the first message after regenerating the key and ASSOC response for all other messages. o o o Apr 20, 2009 17 Sign certificate exchange Client Active Peer Server Passive Peer Send certificate and signature Verify signature; install certificate; Sign Request Sign Response Verify signature; sign certificate Send certificate and signature. o This is used to authenticate client to server, with server acting as de facto certificate authority using encrypted credential scheme TBD. Client sends certificate to server with or without signature. Server extracts request data and signs with server private key. Client verifies certificate and signature. Subsequently, client supplies this certificate rather than self-signed certificate, so clients can verify with server public key. o o o o Apr 20, 2009 18 Broadcast/multicast mode o The broadcast server sends messages at fixed intervals. The first message sent after regenerating the key list includes the autokey values and signature. Other messages include the server association ID, but no signature. This is used as a handle for clients to request the autokey values if necessary. These messages are considered public values, so the cookie value is zero. o When a multicast client receives the first message, it temporarily switches to client/server mode in order to calibrate the network propagation delay and authenticate the server. The client first obtains the parameters and verifies the certificate, identity and signature as in client/server mode, then obtains the autokey values and signature. When the propagation delay is ...

Find millions of documents on Course Hero - Study Guides, Lecture Notes, Reference Materials, Practice Exams and more. Course Hero has millions of course specific materials providing students with the best way to expand their education.

Below is a small sample set of documents:

Delaware - ELEG - 867
NTP Security AlgorithmsDavid L. Mills University of Delaware http:/www.eecis.udel.edu/~mills mailto:mills@udel.eduSir John Tenniel; Alice's Adventures in Wonderland,Lewis CarrollApr 20, 20091Symmetric key and public key cryptographyoPubl
Delaware - ELEG - 403
1#k#NORMAL.STY# #POSTSCRP#@#0@#xw#@CHAPTER = Appendix <$R[C#]>. Program Listing /* * * * * Program to control LORAN-C radio * * * * This program controls a special-purpose radio designed to receive * * transmissions from the US Coast Guard LORAN-C na
Delaware - ELEG - 403
1#]#.#<#<#<#<#<#NORMAL.STY# #IBMPRO#=#<#<#<#@PARAFILTR ON = @Z_TOC TITLE = Abstract This report describes a digital modem for narrowband, direct printing radiotelegraph signals commonly used for data communications in the decametric (330 MHz) radio s
Delaware - ELEG - 93
1#]#.#<#<#<#<#<#NORMAL.STY# #IBMPRO#=#<#<#<#@PARAFILTR ON = @Z_TOC TITLE = Abstract This report describes a digital modem for narrowband, direct printing radiotelegraph signals commonly used for data communications in the decametric (330 MHz) radio s
Delaware - ELEG - 403
1#'#6#6#7#7#7#NORMAL.STY# #POSTSCRP8#@#0@#xw#6#6#7#@PARAFILTR ON = @Z_TOC TITLE = Abstract This report describes the design and construction of a specialized radio timing receiver for the LORAN-C radionavigation system. The computer-controlled receiv
Delaware - ELEG - 403
1#NORMAL.STY# #POSTSCRP#@#0@#xw#@CHAPTER = Appendix <$R[C#]>. Schematic Drawings # # # #2# # #(#03/23/9203/23/922#
Delaware - ELEG - 403
** ** Copyright (c) David L. Mills 1997-1998 ** ** Permission to use, copy, mo
Delaware - MATH - 243
Math243: Analytic Geometry & Calculus C Section 012Instructor: Zeying Wang Office: 315 Ewing Hall Phone: 3028316516 Office Hours: Monday, Wednesday, 11:00AM-12:00PM. Other times by appointment. Email: wangz@math.udel.edu Homepage: http:/www.math.ude
Delaware - MATH - 243
Solution to Homework 3 5. A line perpendicular to the given plane has the same direction as a normal vector to the plane, such as n = 1, 3, 1 . So r0 = 1, 0, 6 , and we can take v = 1, 3, 1 . Then a vector equation is r = 1, 0, 6 + t 1, 3, 1 = 1 + t,
Delaware - MATH - 243
Instruction for MapleZeying WangID and Password: ID: student, Password: m4th4UD. 1, You cannot save data in the computers, so you have to save it in your email or in your ashdrive. 2, The UNIX Instructional project # for Math 243-012, Spring 2008
Delaware - MATH - 243
Delaware - MATH - 243
Maple Homework 1Due Date: Monday, March 17thSpring 20081. Vectors, dot and cross product Given a = 5, -3, 2 , b = -2, 6, 7 , compute a b, |a|, a b and c = 3a - 1 b 2 Compute a vector perpendicular to the plane that passes through the three p
Delaware - MATH - 243
Maple Homework 3Due Date: Tuesday, May 6thSpring 2008Partial derivatives Compute the second partial derivatives of f (x, y) = x3 + x2 y 3 2y 2 dfdx:=di(f,x); dfdy:=di(f,y); dfdx2:=di(f,x,x); dfdy2:=di(f,y,y); dfdxy:=di(f,x,y); dfdyx:=di(f,y,x)
Delaware - MATH - 243
Project For Math 243, Spring 2008Due on Monday, May 19th, 20081. Consider a mountain in the shape of the surface z = 4000 y2 x2 10 10with the z axis pointing up and the x, y plane is horizontal. A car is traveling down this mountain and the pro
Delaware - MATH - 243
Delaware - MATH - 243
Delaware - MATH - 243
Delaware - MATH - 243
Delaware - MATH - 243
Delaware - MATH - 243
Delaware - MATH - 243
Delaware - MATH - 243
Delaware - MATH - 351
Exercises 3.2 6.e. y ' = 1 + ( y / x) 2 + ( y / x) Solution: Let w = y/xFrom 5.b. we have w ' = dw 1 + w2 dx x 1 + w2 + w - w 1 + w2 = x x=ln(w + 1 + w 2 ) = ln( x) + C w + 1 + w 2 = Ax 1 + w 2 = Ax - w 1 + w 2 = ( Ax - w) 2 2 Axw = ( Ax) 2 - 1
Delaware - MATH - 241
A Tutorial for Students Using MapleTALouis F. Rossi 14 February 2006 (Revised August 26, 2007)1For the computationally incompetent or uninterested.If you are comfortable using a web browser to buy something online, or identify that large spide
Delaware - MATH - 353
Engineering Mathematics III Math 353 lecture 010 EWG 203 - Monday & Wednesday 0905-0955 EWG 207 - Friday 0905-0955 c 2007 L. F. Rossi All rights reserved. Prof. L. F. Rossi Office: Ewing 524 Telephone: x1880 Email: rossi@math.udel.edu WWW: www.math.u
Delaware - MATH - 241
Name:Math 241: Calculus & Analytic Geometry A Final Exam 16 December 2002But when the world became bright with reason and riches, it began to sense the narrowness of the needle's eye, and that rankled for a world no longer willing to believe or y
Delaware - MATH - 241
Analytic Geometry & Calculus A (Math 241 sections 013, 014 & 015) KRB 005 - Monday, Wednesday, & Friday 0905-0955 SMI 219 - Tuesday & Thursday 0800-0850 (discussion section 013 only) SHL 123 - Tuesday & Thursday 1100-1150 (discussion section 014 only
Delaware - MATH - 241
Name: Solution guideMath 241: Calculus & Analytic Geometry A Exam 2 October 26 2005We all make mistakes. Overcoming them is survival as well. "Mountain" Mel Deweese in The Worst-Case Scenario Survival Handbook. Instructions: Show all work to rec
Delaware - MATH - 241
Name: Solution guideMath 241: Calculus & Analytic Geometry A Exam 1 30 September 2005Welcome to my house. Come freely. Go safely; and leave something of the happiness you bring! Count Dracula from Dracula by Bram Stoker. Instructions: Show all wo
Delaware - MATH - 241
Name:Math 241: Calculus & Analytic Geometry A Exam 2 October 26 2005We all make mistakes. Overcoming them is survival as well. Mountain Mel Deweese in The Worst-Case Scenario Survival Handbook. Instructions: Show all work to receive full or part
Delaware - MATH - 241
r 0 0 2 AA9" #r# AA9" hr %A9" k g } x n g h x q #s'#~b#g #b85t o z k g q q f q o w } g h x x g g h q x x x g w u z h p5w#@#5iCAks8ry'C#b8sb#IP5C5C8dy#sb# vb p Yg
Delaware - MATH - 241
Name:Math 241: Calculus & Analytic Geometry A Exam 1 30 September 2005Welcome to my house. Come freely. Go safely; and leave something of the happiness you bring! Count Dracula from Dracula by Bram Stoker. Instructions: Show all work to receive f
Delaware - MATH - 241
Name and section:Math 241: Calculus & Analytic Geometry A Exam 3 November 21 2005No great discovery was ever made without a bold guess. Sir Isaac Newton Instructions: Show all work to receive full or partial credit. All University rules and guide
Delaware - MATH - 241
#A"AY9@I(Ear(brGlp#r#F7A9FA8p}'pdA3#r@i ( $ & ( H ( 3 H & E 6 6 " 9 9 E { 3 g# WH &$ E " 3 3 E 3 9 & 3 9 ( p'r@%3A9rd' #D@#%E5GA3up`}w " Y " H $ & 3 E $ 3 &( H E ( " 9 A#'A$%9#C@kpGdGpilGA3%9'%& 3
Delaware - MATH - 241
Name and section:Math 241: Calculus & Analytic Geometry A Exam 3 solution guide November 21 2005No great discovery was ever made without a bold guess. Sir Isaac Newton Instructions: Show all work to receive full or partial credit. All University
Delaware - MATH - 241
( 9 GA(ti079 9 0i nx AA9" 9 ( d rA3rxXm " Y " H $ & 3 E$ 3 &( H ( " 9 & A#'A$%9#C@biGeGE GA3%9'% 3 ( " &H 6 9(H 9 3 " 1 S S S ( 3 9 $ &H ( 3 4GAIlo%I@'#%WA"4e8!5XPeoet8tuy`h58~G%EGr@o
Delaware - MATH - 241
Name:Math 241: Calculus & Analytic Geometry A Exam 1 4 October 2002Always the beautiful answer who asks a more beautiful question. E. E. Cummings Instructions: Show all work to receive full or partial credit. All University rules and guidelines f
Delaware - MATH - 241
Sheet1Proctored practice exam rotation schedule Math 241 Section 011Name Barkey, Courtney Eliza Becraft, Ryan Michael Blake, Casey Amber Colby, Christopher Mic Collins, Jeffrey Kyle Davis, Joseph C. Diggins, Allison Clair Dobson, Patr
Delaware - MATH - 241
Sheet1Proctored practice exam rotation schedule Math 241 Section 010Name Ames, Samantha Jean Artes, John Joseph Boettger, John Thomas, Bryan, Carole Alicia Burnosky, Norman Gilbe Chlan, Brian Crawford, Bruce Dougla Dramstad, Er
Delaware - MATH - 241
u u n uv yp&nYh~'e6xWYxqYu&Y~eC&ueqa f t h f f f f f s f t f s l u y uv nWY'&yYxpYgxa f f f f s o f t eU vC( 6 # t h f s f h o o f h k o v$xY6enqYuxueAx
Delaware - MATH - 351
Name:Math 351: Engineering Mathematics I Exam 1 solution guide 4 March 2005Mathematics may claim to be the most original creation of the human spirit. Alfred Whitehead Instructions: Show all work to receive full or partial credit. You may use onl
Delaware - MATH - 241
Name: Solution GuideMath 241: Calculus & Analytic Geometry A Exam 1 4 October 2002Always the beautiful answer who asks a more beautiful question. E. E. Cummings Instructions: Show all work to receive full or partial credit. All University rules a
Delaware - MATH - 241
Calculus supplement: Periodic drug delivery In problem 10 in section 2.2 of Stewart, we consider a patient receiving an injection of a drug at regular intervals. Let's simplify the problem to receiving a unit dose at intervals of 1 time unit. One mod
Delaware - MATH - 241
Exam 1 performance Math 241 spring 2006 10 8 Frequency 6 4 2 0 20 N: 46 Mean: 74 Median: 77 Std. err: 15.44060 Score80100
Delaware - MATH - 241
Analytic Geometry & Calculus A Math 241 lecture 010 discussion sections 020D, 021D & 022D KRB 004 - Monday, Wednesday, & Friday 0800-0850 EWG 203 - Tuesday & Thursday 0800-0850 (020D only) EWG 203 - Tuesday & Thursday 1400-1450 (021D only) EWG 203 -
Delaware - MATH - 241
Analytic Geometry & Calculus A (Math 241 sections 013, 014 & 015) Spring 2006 (Revised 7 May 2006) KRB 005 - Monday, Wednesday, & Friday 0905-0955 SMI 219 - Tuesday & Thursday 0800-0850 (discussion section 013 only) SHL 123 - Tuesday & Thursday 1100-
Delaware - MATH - 241
Exam 2 performance Math 241 Spring 2006 8 N: 42 Mean: 68.6 Median: 70.5 Std. err: 16.46 Frequency420 02040 60 Score80100
Delaware - MATH - 241
Exam 3 performance - Math 241 Spring 2006 8 N: 41 Mean: 62.3 Median: 63 Std. err: 14.96 Frequency420 02040 Score6080100
Delaware - MATH - 241
Name and section:Math 241: Calculus & Analytic Geometry A Exam 3 solution guide November 21 2005No great discovery was ever made without a bold guess. Sir Isaac Newton Instructions: Show all work to receive full or partial credit. All University
Delaware - MATH - 241
Name:Math 241: Calculus & Analytic Geometry A Exam 1 solution guide 24 September 2007Humanitys deepest desire for knowledge is justication enough for our continuing quest. Stephen W. Hawking. Instructions: Show all work to receive full or partia
Delaware - MATH - 241
Name:Math 241: Calculus & Analytic Geometry A Exam 1 solution guide 9 March 2007I don't believe I have to be loyal to one side or the other. I'm simply asking questions. Juror #11, 12 Angry Men Instructions: Show all work to receive full or part
Delaware - MATH - 241
Name: Section:Math 241: Calculus & Analytic Geometry AExam 2 solution guide 19 October 2007 You can have any color you want as long as it is black. Henry Ford. Instructions: Show all work to receive full or partial credit. All University rules a
Delaware - MATH - 241
Name: Section:Math 241: Calculus & Analytic Geometry AExam 2 solution guide 11 April 2007 And by-and-by Christopher Robin came to an end of the things, and was silent, and he sat there looking out over the world, and wishing it wouldnt stop. The
Delaware - MATH - 351
V 4 2 @ 8 6 F b B @8 b 2 I h @8 4 d 6 4 2 d B @ b T 4V e @V b8V } 8V 4 h hgc{74 74 vY8fH8P aQ Y6F p C@ 5db v5CY@dHhCQcC5CQyWa54 HFWdaACCQAPQ7` i6 BbR V e F F 2 @ 48V h @R V h@ F 8V4 h 6 @ @ B e FVV e 8 h FV4 8 4 2b @b 6V hb 6eR 4 d d
Delaware - MATH - 351
g t t t i e p H & H q f f d x t m3tmg3 3`Q @x x U 3 lB37eUkmvegRv tu d uu u fd gi h gtdd gfuit t d j bvQbf uBvxgfv3t 3 `i v ut `BmgRbb3vBvR`f u h i t f d pi i i t f z u z f p uui w s fp di d t g
Delaware - MATH - 351
Exercises 4.2 8d. Solution:4 = cos 30 | u | 4 = cos 60 | v | | u |= 4 cos 30| v |= 8u v =| u | | v | cos 30 =4 8 cos 30 = 32 cos 30Exercises 4.6 2d. Solution: Let u 1 = (0,0,0,1), u 2 = (0,0,1,1), u 3 = (0,1,1,1), u 4 = (1,1,1,1)
Delaware - MATH - 351
Exercises 6.7 4h. Solution: y " 2 y ' + y = 6 x 2r 2 2r + 1 = 0 ( r 1) 2 = 0 r =1 y h = Ae x + Bxe x Take y1 = e x , y 2 = xe x' W(x) = y1 y '2 - y1 y 2 = e 2 xW1 ( x ) = f ( x) y 2 ( x) = 6 x 2 xe x = 6 x 3 e x W2 ( x ) = f ( x ) y 1 ( x )
Delaware - MATH - 351
Exercises 9.3 5b. Solution: 1 2 x1 6 2 0 x = 8 2 det( A - I ) = 2 - - 4 = 0 1 17 2 1 = 2.56,= 2 = -1.56 1.28 eigenvector e1 = 1 - 0.78 eigenvector e 2 = 1 1 = 2.56 2 = -1.56 6 1.28 8 1 c e1 = 1
Delaware - MATH - 351
Exercises 4.7. 6a. Solution: The statement is not true. Just need to give a counter-example to disprove the statement. e.g. Suppose u1=(1,0), u2=(2,0), v=(1,1) then -2 u1+ u2+0v=0, so {v, u1, u2} is LD. Butv span{u1 , u 2 } . So the statement is no
Delaware - MATH - 351
Exercises 2.4. 17.(b) Solution: mv ' = mg - f (v),mv ' = mg - cv 2 c v' = g - v2 m v(0) = 0, f(v) = cv 2(1)First, find a particular solution V(t) of (1). Suppose V(t) = constant, then 0 = g - V= mg c 1 u mg 1 + c u c 2 V mAccording to Exercise
Delaware - MATH - 351
Exercises 5.2. 22. Solution: P ( 2) = [P (1) ]20. 0 0 0 1 0. 0 0 0 1 1 / 2 0 1 / 2 0 1 / 2 0 1 / 2 0 0 0 = 0 1/ 2 0 1/ 2 0 0 1/ 2 0 1/ 2 0 0 1 / 2 0 1 / 2 0 0 1 / 2 0 1 / 2 0 0 0 0 0 1 0 0 0 0 1 0. 0 0 0 1 1 / 2 1 / 4